eCK模型下的密钥协商  

Authenticated Key Exchange in eCK Model

作　　者：柳秀梅[1] 高克宁[1] 薛丽芳[1] 常桂然[1] 周福才[2] 

机构地区：[1]东北大学计算中心,沈阳110819 [2]东北大学软件学院,沈阳110819

出　　处：《计算机科学》2014年第8期172-177,共6页Computer Science

基　　金：国家自然科学基金资助项目(61272176);中央高校基本科研业务费专项资金资助项目(N100316001;N120416002);教育部高新技术类资助项目(MOE-INTEL-2012-06)资助

摘　　要：如何构造安全的密钥协商协议是信息安全领域富有挑战性的问题之一。目前安全协议只能达到"启发式"安全,协议的安全假设也不够理想。针对这一问题,提出了基于计算性假设(CDH)的三方认证密钥协商协议,并运用陷门测试定理形式化地证明该协议在eCK模型下是安全的,更好地支持了敌手的询问。How to construct the security of key agreement protocol is one of the challenging problems in information se- curity field. Most security protocols can only reach the ＂heuristic＂ security, and the assumption of security protocol is not ideal. To solve these problems, this paper presented a new computational assumptions （CDH） based third-party au- thentication key exchange protocol, and by using the trapdoor test theory, formally proved that the protocol is safe under the eCK model and better supports the adversary inquiries.

关 键 词：认证密钥协商 eCK模型 CDH假设 形式化证明 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]