基于无证书的两方认证密钥协商协议

基于椭圆曲线上离散对数问题、双线性对映射和CDH假设，提出新的基于无证书的两方认证密钥协商协议，解决了基于身份的公钥密码方案中固有的密钥托管问题，实现了对通信双方的身份验证，防止了主动攻击。最后，分析协议的正确性，应用pi演算对协议进行形式化分析，借助Pro Verif工具验证了协议的安全性。与其它两方密钥协商协议性能相比。安全性和效率都更好。

Certificateless-based Two-party Authenticated Key Agreement Protocol

A certificateless-based two-party authenticated key agreement protocol is proposed based on bilinear pairings in elliptic curves,the elliptic curve discrete logarithm problem and CDH.Avoiding the key escrow issues inheried in the identity-based schemes effectively and preventing active attack by identity authentication.After confirming the correctness,the formal analysis based on applied pi calculus shows fulfilled authentication and secure.Compared with other two-party authenticated key agreement protocols...