论文研究-无双线性对的无证书两方认证密钥协商协议.pdf

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