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

摘要：

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

关键词：CMQV、eCK、形式化安全模型、可证明安全性

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61272488,61272041,61202491

在线出版日期：2013-12-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：98-102