一个可抵抗临时指数泄露的密钥协商协议形式化安全模型

从临时指数泄露这一新的假设出发,分析了eck模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的hcmqv密钥协商协议,该协议在cmqv的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数和抵抗反射攻击。为了证明协议的安全性,没有沿用hmqv协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到ddh问题上。事实证明,设计临时指数可泄露的安全密钥协商协议是可行的。