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

基金项目:

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

详细信息

New Provable Security Fast Authentication Protocol

Ministry of Education Key Laboratory of Computer Network and Information Security,Xidian University Xi'an 710071

摘要: 利用Canetti-Krawczyk模型构造了一个快速认证协议，并对该协议的安全性进行了详细的分析和证明。分析表明，该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新，且具有双向实体认证、完美的向前保密性等安全属性，满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成，通信开销小，计算量较低，为用户间的相互认证提供了一种高效的解决方案。
- 认证协议 /
- Canetti-Krawczyk模型 /
- 可证明安全 /
- 安全分析.
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.
- authentication protocol /
- Canetti-Krawczyk model /
- provable security /
- security analysis