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

关键词：身份密码体制 椭圆曲线 离散对数问题 认证密钥协商 

单位：重庆城市管理职业学院 重庆401331 重庆大学计算机学院 重庆400044 宜春学院数学与计算机学院 江西宜春336000