Paper 2007/123 Original: eprint.iacr.org/2007/123 ↗
Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS
Abstract
LaMacchia, Lauter and Mityagin recently presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk definition. They also described a protocol, called NAXOS, that enjoys a simple security proof in the new model. Compared to MQV and HMQV, NAXOS is less efficient and cannot be readily modified to obtain a one-pass protocol. On the other hand MQV does not have a security proof, and the HMQV security proof is extremely complicated. This paper proposes a new authenticated key agreement protocol, called CMQV (`Combined' MQV), which incorporates design principles from MQV, HMQV and NAXOS. The new protocol achieves the efficiency of HMQV and admits a natural one-pass variant. Moreover, we present a simple and intuitive proof that CMQV is secure in the LaMacchia-Lauter-Mityagin model.
Metadata
- Available format(s)
PDF- Category
- Cryptographic protocols
- Publication info
- Preprint.
- History
- 2009-06-22: last updated
- 2007-04-03: published
- Short URL
- https://ia.cr/2007/123
- License
- https://creativecommons.org/licenses/by/4.0/
BibTeX
@misc{cryptoeprint:2007/123,
author = {Berkant Ustaoglu},
title = {Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS},
howpublished = {Cryptology {ePrint} Archive, Paper 2007/123},
year = {2007},
url = {https://eprint.iacr.org/2007/123}
}