1490 search results - page 22 / 298 » The Logic of Authentication Protocols |
SACI
2007
IEEE
14 years 3 months ago
2007
IEEE
— an application for assuring the authenticity of audio-video information is developed. The application is implemented in Java by using Java Media Framework to send audio and vid...
IJNSEC
2008
13 years 8 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
ICICS
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
DCC
2003
IEEE
14 years 8 months ago
2003
IEEE
JCS
2006
13 years 8 months ago
2006
The A-GDH.2 and SA-GDH.2 authenticated group key agreement