94 search results - page 2 / 19 » Experimental Analysis of the Arcanum Key Exchange Protocol |
EUROCRYPT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
AFRICACRYPT
2010
Springer
13 years 11 months ago
2010
Springer
Modern multi-user communication systems, including popular instant messaging tools, social network platforms, and cooperative-work applications, offer flexible forms of communica...
CCS
2009
ACM
13 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
IJNSEC
2010
12 years 11 months ago
2010
The three-party password-based key exchange protocols using Weil pairing proposed by Wen is vulnerable to impersonation attack. By introducing hard artificial intelligence problem...
AINA
2007
IEEE
13 years 11 months ago
2007
IEEE
We propose a four-party password authenticated interdomain key exchange protocol which makes use of properties of identity-based cryptography and secret public keys. Being passwor...