177 search results - page 1 / 36 » Provably Secure Key Exchange: An Engineering Approach |
ACSW
2003
13 years 6 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
CCS
2001
ACM
13 years 9 months ago
2001
ACM
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...
EUROCRYPT
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
EUROCRYPT
2003
Springer
13 years 10 months ago
2003
Springer