| 标准模型下可证安全的认证密钥协商协议 |
| |
| 引用本文： | 邓帆,邓少锋,李益发. 标准模型下可证安全的认证密钥协商协议[J]. 计算机工程与应用, 2011, 47(13): 106-109. DOI: 10.3778/j.issn.1002-8331.2011.13.030 |
| |
| 作者姓名： | 邓帆 邓少锋 李益发 |
| |
| 作者单位： | 信息工程大学 信息工程学院，郑州 450002 |
| |
| 基金项目： | 通信技术重点实验室基金 |
| |
| 摘 要： | 提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想，协议的安全性分析，则综合运用了串空间知识以及可证安全中Game证明的方法，给出了严格的证明。协议具有良好的前向安全性和会话密钥无托管性，通过利用显式的身份认证，提高了协议的执行效率。与随机预言模型中的协议相比，在计算和通信效率方面相当。
|
| 关 键 词： | 认证密钥协商 可证安全 串空间 双线性配对 标准模型 |
| 修稿时间： | |
Provable secure authenticated key exchange protocol under standard model |
| |
| DENG Fan,DENG Shaofeng,LI Yifa. Provable secure authenticated key exchange protocol under standard model[J]. Computer Engineering and Applications, 2011, 47(13): 106-109. DOI: 10.3778/j.issn.1002-8331.2011.13.030 |
| |
| Authors: | DENG Fan DENG Shaofeng LI Yifa |
| |
| Affiliation: | College of Information Engineering，Information Engineering University，Zhengzhou 450002，China |
| |
| Abstract: | 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. |
| |
| Keywords: | authenticated key exchange provable security strand space bilinear pairings standard model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
