10.3969/j.issn.1002-137X.2013.11.021
一个可抵抗临时指数泄露的密钥协商协议形式化安全模型
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型.在该模型下,给出了一个可证明安全的HCMQV密钥协商协议,该协议在CMQV的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数和抵抗反射攻击.为了证明协议的安全性,没有沿用HMQV协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到DDH问题上.事实证明,设计临时指数可泄露的安全密钥协商协议是可行的.
CMQV、eCK、形式化安全模型、可证明安全性
40
TP309(计算技术、计算机技术)
国家自然科学基金61272488,61272041,61202491
2013-12-06(万方平台首次上网日期,不代表论文的发表时间)
共5页
98-102