移动通信中可证安全的双向认证密钥协商协议  

A Security-Provable Mutually Authenticated Key Agreement Protocol in Mobile Communication

作　　者：邓红素[1] 左益强[1] 赵一鸣[1] 鲍振东[1] 

机构地区：[1]复旦大学计算机科学与工程系,上海200433

出　　处：《软件学报》2003年第8期1489-1494,共6页Journal of Software

基　　金：国家自然科学基金~~

摘　　要：在基于无线网络的分布式环境中,带认证的密钥协商协议对通信双方是否能够建立安全的会话至关重要。同时,协议的可证安全也逐步得到重视,在借鉴以往无线通信密钥建立协议的基础上,提出了一个可相互认证的密钥协商协议MAKAP(mutual authenticated key agreement protocol),并在Bellare和Rogaway的模型下证明了它的安全性,同时分析了其计算代价,与以往许多协议相比,MAKAP协议不仅在安全证明上有较明显的优势,而且其计算量也不大,有较高的实用性。In the distributed computing environments such as wireless network, the key exchange protocol with mutual authentication is critical to the following secure sessions between communicators and more attentions are paid to the provability of the protocol security. A mutual authentication key agreement protocol, MAKAP (mutual authenticated key agreement protocol) is proposed. The security of the protocol is proved in Bellare-Rogaway's model and its computation cost is also analyzed. MAKAP has advantages over other protocols in its security provability and only spends moderate computation cost, so it is quite practical.

关 键 词：带认证的密钥协商协议 可证安全的相互认证协议 MAKAP协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]