CMQV+:An authenticated key exchange protocol from CMQV  

作　　者：LI Hui WU ChuanKun 

机构地区：[1]State Key Laboratory of Information Security,Institute of Software,Chinese Academy of Sciences Beijing 100190,China [2]Graduate University of Chinese Academy of Sciences,Beijing 100049,China

出　　处：《Science China(Information Sciences)》2012年第7期1666-1674,共9页中国科学（信息科学）（英文版）

基　　金：supported by National Basic Research Program of China (Grant No. 2007CB807902);Knowledge Innovation Project of the Chinese Academy of Sciences (Grant No. YYYJ-1013);National Nature Science Foundation of China (Grant No. 60903210)

摘　　要：Ustaoglu presents a secure and efficient key exchange protocol named CMQV, based on the design rationales of HMQV and NAXOS. Compared with the latter two protocols, on one hand, CMQV achieves high performance of HMQV, and on the other, it is proven secure in eCK model as NAXOS is. However, CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its creators. In this paper, we propose a variant of CMQV, cMled CMQV＋, which is proven secure under a weaker assumption （i.e. computational Diffie-Hellman assumption） in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible..Ustaoglu presents a secure and efficient key exchange protocol named CMQV, based on the design rationales of HMQV and NAXOS. Compared with the latter two protocols, on one hand, CMQV achieves high performance of HMQV, and on the other, it is proven secure in eCK model as NAXOS is. However, CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its creators. In this paper, we propose a variant of CMQV, cMled CMQV＋, which is proven secure under a weaker assumption （i.e. computational Diffie-Hellman assumption） in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible..

关 键 词：key exchange eCK model trapdoor-test technique provable security CDH assumption 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TP309[自动化与计算机技术—计算机科学与技术]