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

摘要：

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

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

所属期刊栏目：47

分类号：TP309(计算技术、计算机技术)

资助基金：通信技术重点实验室基金the Communication Technology Key Laboratory Foundation under Grant 9140C1103040902

在线出版日期：2011-07-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：106-109