论文部分内容阅读
摘要：为了降低计算开销，提出了基于身份的认证密钥协商协议ID-AKA。新协议基于椭圆曲线离散对数难题，采用隐式认证方式，仅需一轮信息交互，并且去除了计算量大的双线性对运算。参考Chen等人的ID-AKA安全模型和LaMacchia等人的安全模型，通过增加会话临时秘密查询，提出了分析ID-AKA协议的强安全模型。同时，指出了舒剑等人的安全模型约束条件过强，不能有效分析协议的密钥泄露伪装安全性。在新模型下，新协议是可证明安全的。对比分析表明，新协议不仅实现了强安全性，而且计算开销更低，适用于在移动通信环境下建