Authenticated Key Exchange Protocols with Enhanced Freshness Properties

Hai Huang; Zhenfu Cao

Paper 2009/505

Authenticated Key Exchange Protocols with Enhanced Freshness Properties

Hai Huang and Zhenfu Cao

Abstract

In this paper, we investigate the security model for authenticated key exchange protocols. We observe that there is further room to extend the latest enhanced Canetti-Krawczyk (eCK) model. We further enhance the freshness definition for the three-pass authenticated key exchange protocols such that our new definition gives the adversary more capabilities. We point out that the three-pass authenticated key exchange protocols generically transformed from the two-pass authenticated key exchange protocols secure in the eCK model can not be secure in our new security definition. We then introduce a new authenticated key exchange protocol SIG-DH$^+$ and prove that it satisfies our new definition.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. Unknown where it was published
Contact author(s): Chinesechess @ sjtu edu cn
History: 2009-10-20: received
Short URL: https://ia.cr/2009/505
License: CC BY

BibTeX

@misc{cryptoeprint:2009/505,
      author = {Hai Huang and Zhenfu Cao},
      title = {Authenticated Key Exchange Protocols with Enhanced Freshness Properties},
      howpublished = {Cryptology {ePrint} Archive, Paper 2009/505},
      year = {2009},
      url = {https://eprint.iacr.org/2009/505}
}