NAXOS
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 AXOS. The new protocol achieves the efficiency of HMQV and admits a natural one-pass variant. Moreover, we present a relatively simple and intuitive proof that CMQV is secure in the LaMacchia-Lauter-Mityagin model.
Keywords for this software
References in zbMATH (referenced in 73 articles , 1 standard article )
Showing results 21 to 40 of 73.
Sorted by year (- Xie, Yong; Wu, Libing; Zhang, Yubo; Xu, Zhiyan: Strongly secure two-party certificateless key agreement protocol with short message (2016)
- Yang, Zheng; Li, Shuangqing: On security analysis of an after-the-fact leakage resilient key exchange protocol (2016)
- Alawatugoda, Janaka; Stebila, Douglas; Boyd, Colin: Continuous after-the-fact leakage-resilient eCK-secure key exchange (2015)
- Cremers, Cas; Feltz, Michèle: Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal (2015)
- Dousti, Mohammad Sadeq; Jalili, Rasool: FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes (2015)
- Fujioka, Atsushi; Suzuki, Koutarou; Xagawa, Keita; Yoneyama, Kazuki: Strongly secure authenticated key exchange from factoring, codes, and lattices (2015)
- Choo, Kim-Kwang Raymond; Nam, Junghyun; Won, Dongho: A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols (2014)
- Nose, Peter: Security weaknesses of a signature scheme and authenticated key agreement protocols (2014)
- Goldberg, Ian; Stebila, Douglas; Ustaoglu, Berkant: Anonymity and one-way authentication in key exchange protocols (2013)
- Sun, Haiyan; Wen, Qiaoyan; Zhang, Hua; Jin, Zhengping: A novel pairing-free certificateless authenticated key agreement protocol with provable security (2013)
- Chatterjee, Sanjit; Menezes, Alfred; Sarkar, Palash: Another look at tightness (2012)
- Fujioka, Atsushi; Suzuki, Koutarou; Xagawa, Keita; Yoneyama, Kazuki: Strongly secure authenticated key exchange from factoring, codes, and lattices (2012)
- He, Debiao; Padhye, Sahadeo; Chen, Jianhua: An efficient certificateless two-party authenticated key agreement protocol (2012)
- Jager, Tibor; Kohlar, Florian; Schäge, Sven; Schwenk, Jörg: On the security of TLS-DHE in the standard model (2012)
- Li, Hui; Wu, Chuankun: CMQV+: an authenticated key exchange protocol from CMQV (2012)
- Yoneyama, Kazuki: One-round authenticated key exchange with strong forward secrecy in the standard model against constrained adversary (2012)
- Zhao, Jianjie; Gu, Dawu: Provably secure three-party password-based authenticated key exchange protocol (2012)
- Boyd, Colin; González Nieto, Juan: On forward secrecy in one-round key exchange (2011)
- Chatterjee, Sanjit; Menezes, Alfred; Ustaoglu, Berkant: A generic variant of NIST’S KAS2 key agreement protocol (2011)
- Cheng, Qingfeng; Ma, Chuangui: Analysis and improvement of an authenticated multiple key exchange protocol (2011)