文件名称：论文研究-无双线性对的无证书两方认证密钥协商协议.pdf
文件大小：1.39MB
文件格式：PDF
更新时间：2022-08-11 14:41:19
密钥协商,无证书密码*,无双线性对,Applied Pi演算,形式化分析
鉴于双线性对运算复杂度较高, 不适用于移动通信环境, 提出新的无双线性对的基于无证书的两方认证密钥协商协议。新协议解决了基于身份的公钥密码方案中固有的密钥托管问题, 实现了对通信双方的身份认证, 采用非双线性对运算, 极大地降低了计算开销。通过分析协议的正确性, 采用Applied Pi演算对协议进行形式化分析, 借助ProVerif工具验证了协议的安全性和认证性。与其他两方密钥协商协议相比, 新方案具有更好的安全性和效率。