%0 Journal Article
%T 一个可抵抗临时指数泄露的密钥协商协议形式化安全模型
%A 陶文君？
%A 胡斌？
%J 计算机科学
%D 2013
%X 从临时指数泄露这一新的假设出发,分析了eck模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的hcmqv密钥协商协议,该协议在cmqv的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数和抵抗反射攻击。为了证明协议的安全性,没有沿用hmqv协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到ddh问题上。事实证明,设计临时指数可泄露的安全密钥协商协议是可行的。
%K cmqv
%K eck
%K 形式化安全模型
%K 可证明安全性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20131121&flag=1