无双线性对的无证书两方认证密钥协商协议

• 作者: 刘小琼 李国朋 潘进
• 来源期刊: 计算机应用研究
• 关键词: 密钥协商 无证书密码体制 无双线性对 Applied Pi演算 形式化分析
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 信息安全技术
• 页码范围: 2240-2242,2267
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2012.06.063

摘要

鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议.新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销.通过分析协议的正确性,采用Applied Pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性和认证性.与其他两方密钥协商协议相比,新方案具有更好的安全性和效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘进		53	378	8.0	18.0
2	李国朋		17	45	4.0	6.0
3	刘小琼		7	31	3.0	5.0