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

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (13): 106-109.

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

邓帆，邓少锋，李益发

信息工程大学信息工程学院，郑州 450002

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-05-01 发布日期:2011-05-01

Provable secure authenticated key exchange protocol under standard model

DENG Fan，DENG Shaofeng，LI Yifa

College of Information Engineering，Information Engineering University，Zhengzhou 450002，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-05-01 Published:2011-05-01

摘要/Abstract

摘要： 提出了一个标准模型下的基于身份认证的密钥协商协议。协议的设计采用了双线性配对的思想，协议的安全性分析，则综合运用了串空间知识以及可证安全中Game证明的方法，给出了严格的证明。协议具有良好的前向安全性和会话密钥无托管性，通过利用显式的身份认证，提高了协议的执行效率。与随机预言模型中的协议相比，在计算和通信效率方面相当。

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

Abstract: This paper presents an identity-based authenticated key exchange protocol in the standard model.Protocol design is inspired by bilinear pairings.Strand space knowledge and Game method in provable security are comprehensively used.The correctness of the protocol is analysed and a strict proof is given.The protocol has good forward security and session key non-hosting.At the same time，through the explicit authentication，it improves the efficiency of the implementation of the protocol.Compared with the protocol in the random oracle model，the protocol has the same computational and communication efficiencies.

Key words: authenticated key exchange, provable security, strand space, bilinear pairings, standard model

邓帆，邓少锋，李益发. 标准模型下可证安全的认证密钥协商协议[J]. 计算机工程与应用, 2011, 47(13): 106-109.

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.

[1]	仝乐，郝蓉，于佳. 单服务器上的双线性配对安全外包方案[J]. 计算机工程与应用, 2020, 56(9): 131-135.
[2]	王霏，陈明. 标准模型下基于身份的多代理多签名方案[J]. 计算机工程与应用, 2019, 55(18): 67-74.
[3]	徐海琳1，陆阳2. 抗关键词猜测攻击的可搜索公钥加密方案[J]. 计算机工程与应用, 2018, 54(24): 108-115.
[4]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[5]	宁多彪. 标准模型下的高效强安全混合加密方案[J]. 计算机工程与应用, 2016, 52(17): 107-111.
[6]	陈　　明. 标准模型下基于身份代理盲签名方案[J]. 计算机工程与应用, 2015, 51(19): 103-109.
[7]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[8]	周萍1，2，何大可1，张文芳1. 云计算中的标准模型下基于证书混合加密方案[J]. 计算机工程与应用, 2014, 50(19): 1-6.
[9]	余磊，魏仕民. 协议主体密钥在测试组件构造上的性质分析[J]. 计算机工程与应用, 2013, 49(6): 114-117.
[10]	黄梅娟，杜红珍. 可证安全的基于身份的门限代理签名方案[J]. 计算机工程与应用, 2013, 49(20): 77-81.
[11]	余磊，魏仕民. 网络管理中一种互认证密码协议的安全性分析[J]. 计算机工程与应用, 2012, 48(4): 94-96.
[12]	曹锋1，曹珍富2. 标准模型下安全的代理多重签名方案[J]. 计算机工程与应用, 2012, 48(23): 72-76.
[13]	张建中1，高欢欢1，2，赵柄冀3. 标准模型下基于身份的门限签名方案[J]. 计算机工程与应用, 2012, 48(23): 77-80.
[14]	曹利峰1，陈性元1，杜学绘1，王怀鹏2. 一个多级安全通道建立协议及安全性分析[J]. 计算机工程与应用, 2012, 48(20): 117-122.
[15]	柳欣1，2，3. 满足增强安全性的匿名订购系统[J]. 计算机工程与应用, 2012, 48(17): 16-22.