首页 | 本学科首页   官方微博 | 高级检索  
     检索      

新的可证明安全的快速认证协议
引用本文:朱辉,李晖,庞辽军,王育民.新的可证明安全的快速认证协议[J].电子科技大学学报(社会科学版),2009(1).
作者姓名:朱辉  李晖  庞辽军  王育民
作者单位:西安电子科技大学计算机网络与信息安全教育部重点实验室;
基金项目:国家自然科学基金(60772136,60803151);;国家863计划(2007AA01Z435);;高等学校学科创新引智计划(B08038)
摘    要:利用Canetti-Krawczyk模型构造了一个快速认证协议,并对该协议的安全性进行了详细的分析和证明。分析表明,该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新,且具有双向实体认证、完美的向前保密性等安全属性,满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成,通信开销小,计算量较低,为用户间的相互认证提供了一种高效的解决方案。

关 键 词:认证协议  Canetti-Krawczyk模型  可证明安全  安全分析  

New Provable Security Fast Authentication Protocol
ZHU Hui,LI Hui,PANG Liao-Jun, WANG Yu-Min.New Provable Security Fast Authentication Protocol[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2009(1).
Authors:ZHU Hui  LI Hui  PANG Liao-Jun    WANG Yu-Min
Institution:Ministry of Education Key Laboratory of Computer Network and Information Security;Xidian University Xi'an 710071
Abstract: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.
Keywords:authentication protocol  Canetti-Krawczyk model  provable security  security analysis  
本文献已被 CNKI 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号