对一个强安全的认证密钥交换协议的分析  

Cryptanalysis of a Strongly Secure Authenticated Key Exchange Protocol

作　　者：胡学先[1,2] 魏江宏[1] 叶茂[1] 

机构地区：[1]解放军信息工程大学,郑州450002 [2]中国科学院软件研究所,北京100190

出　　处：《电子与信息学报》2013年第9期2278-2282,共5页Journal of Electronics & Information Technology

基　　金：国家973计划项目(2012CB315905);河南省科技攻关计划项目(122102210225)资助课题

摘　　要：在2012年第15届国际公钥密码学(PKC)年会上,Fujioka等人利用密钥封装机制(KEM)提出了认证密钥交换(AKE)协议的一个通用构造,称为GC协议,并在CK+模型下证明了该协议的安全性。该文对GC协议进行了安全性分析,指出该协议是不安全的,难于抵抗不知道任何秘密信息的外部攻击者实施的假冒攻击,进一步分析了原协议安全性证明中被疏忽之处。In the 15th （2012） IACR international conference on practice and theory of Public-Key Cryptography （PKC）, Fujioka et al. proposed a generic construction of Authenticated Key Exchange （AKE） from a Key Encapsulation Mechanism （KEM）, which is called the GC protocol and is proven to be secure in the CK~ security model. In this paper, it is pointed out by cryptanalysis that the GC protocol is not CK＋ secure. Concrete attacks in which the outside adversary, without knowing the static or ephemeral keys of the users, imitates a valid user are also given. Further, the errors in the original security proof are analyzed.

关 键 词：密码学 认证密钥交换 可证明安全 假冒攻击 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]