新的可证明安全的快速认证协议  

New Provable Security Fast Authentication Protocol

作　　者：朱辉[1] 李晖[1] 庞辽军[1] 王育民[1] 

机构地区：[1]西安电子科技大学计算机网络与信息安全教育部重点实验室,西安710071

出　　处：《电子科技大学学报》2009年第1期55-58,共4页Journal of University of Electronic Science and Technology of China

基　　金：国家自然科学基金(60772136;60803151);国家863计划(2007AA01Z435);高等学校学科创新引智计划(B08038)

摘　　要：利用Canetti-Krawczyk模型构造了一个快速认证协议,并对该协议的安全性进行了详细的分析和证明。分析表明,该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新,且具有双向实体认证、完美的向前保密性等安全属性,满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成,通信开销小,计算量较低,为用户间的相互认证提供了一种高效的解决方案。With Canetti-Krawczyk model, a fast authentication protocol of exchanging multiple session keys between two participants is proposed. The security analysis and formal proof show that the proposed protocol is session-key secure with perfect forward secrecy （PFS）. Moreover, the implementation of the protocol just need twice communications and a little computation. The results show the efficiency of the protocol in wireless network.

关 键 词：认证协议 CANETTI-KRAWCZYK模型 可证明安全 安全分析 

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