计算机工程与应用 ›› 2015, Vol. 51 ›› Issue (7): 74-79.
陈 虹1,郑艳艳1,肖振久1,2
CHEN Hong1, ZHENG Yanyan1, XIAO Zhenjiu1,2
摘要: 针对双线性对运算复杂度较高,计算开销较大,提出了新的无双线性对无证书的两方跨域认证密钥协商协议。该协议解决了传统的基于身份的密码体制中固有的密钥托管问题,实现了跨域通信双方的身份验证,采用无双线性对运算,极大地降低了计算开销。在保证协议正确性的基础上,采用SVO逻辑对协议进行形式化分析,并验证了协议的认证性和安全性。与其他跨域两方认证密钥协商协议性能相比,该协议达到应具备的安全性的同时,其效率更优。