摘要
鉴于双线性对运算复杂度较高,不适用于移动通信环境,提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题,实现了对通信双方的身份认证,采用非双线性对运算,极大地降低了计算开销。通过分析协议的正确性,采用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.
出处
《计算机应用研究》
CSCD
北大核心
2012年第6期2240-2242,2267,共4页
Application Research of Computers
