关键词：密码学;;认证密钥交换;;可证明安全;;假冒攻击
摘 要：在2012年第15届国际公钥密码学(PKC)年会上,Fujioka等人利用密钥封装机制(KEM)提出了认证密钥交换(AKE)协议的一个通用构造,称为GC协议,并在CK+模型下证明了该协议的安全性。该文对GC协议进行了安全性分析,指出该协议是不安全的,难于抵抗不知道任何秘密信息的外部攻击者实施的假冒攻击,进一步分析了原协议安全性证明中被疏忽之处。
内 容：原文可通过湖北省科技信息共享服务平台（http://www.hbstl.org.cn)获取