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

Certificateless-based two-party authenticated key agreement protocol

作　　者：潘进[1] 刘小琼[1] 李国朋[1] 

机构地区：[1]西安通信学院,西安710106

出　　处：《计算机应用研究》2012年第6期2240-2242,2267,共4页Application Research of Computers

摘　　要：鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销。通过分析协议的正确性,采用Applied Pi演算对协议进行形式化分析,借助ProVerif工具验证了协议的安全性和认证性。与其他两方密钥协商协议相比,新方案具有更好的安全性和效率。Because of the high computational cost,bilinear pairing isn＇t equal to mobile communication environment.This paper proposed new certificateless-based two-party authenticated key agreement protocol without bilinear pairing.The agreement protocol solved the key escrow issues inherited in the identity-based schemes effectively and achieved identity authentication.And the computational cost decreased effectively without bilinear pairing.After confirming the correctness,the formal analysis based on Applied Pi calculus and ProVerif has shown fulfilled authentication and secure.Compared with other two-party authenticated key agreement protocols,the new proposed key agreement protocol has better security and efficiency.

关 键 词：密钥协商 无证书密码体制 无双线性对 Applied PI演算 形式化分析 

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