%0 Journal Article
%T eck模型下的密钥协商
%A 柳秀梅？
%A 高克宁？
%A 薛丽芳？
%A 常桂然？
%A 周福才？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.08.038
%X 如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到“启发式”安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(cdh)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eck模型下是安全的,更好地支持了敌手的询问。
%K 认证密钥协商
%K eck模型
%K cdh假设
%K 形式化证明
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140838&flag=1