标准模型下可证安全的认证密钥协商协议  

Provable secure authenticated key exchange protocol under standard model

作　　者：邓帆[1] 邓少锋[1] 李益发[1] 

机构地区：[1]信息工程大学信息工程学院

出　　处：《计算机工程与应用》2011年第13期106-109,共4页Computer Engineering and Applications

基　　金：通信技术重点实验室基金No.9140C1103040902~~

摘　　要：提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想,协议的安全性分析,则综合运用了串空间知识以及可证安全中Game证明的方法,给出了严格的证明。协议具有良好的前向安全性和会话密钥无托管性,通过利用显式的身份认证,提高了协议的执行效率。与随机预言模型中的协议相比,在计算和通信效率方面相当。This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design isinspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.Thecorrectness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session keynon-hosting.At the same time,through the explicit authentication,it improves the efficiency of the implementation of the pro-tocol.Compared with the protocol in the random oracle model,the protocol has the same computational and communicationefficiencies.

关 键 词：认证密钥协商 可证安全 串空间 双线性配对 标准模型 

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