论文部分内容阅读
针对已有的基于身份的认证密钥协商协议存在的安全问题，提出一种改进的基于身份的认证密钥协商协议。该协议采用双线性对运算方法，用户双方的临时和长期私钥结合进行最终会话密钥的计算，解决了原协议中存在的PKG前向安全性问题、单一依赖临时或长期私钥而存在的问题和已知临时会话密钥泄漏攻击的问题。在保证改进协议正确基础上，对协议的安全属性及协议性能进行了分析。采用SVO逻辑对协议进行形式化分析，验证了改进协议的认证性和安全性。结果表明，改进的协议满足基于身份认证密钥协商协议的所有安全性要求，与已有基于身份的认证密钥协商