摘要
利用增强的BAN类逻辑———AUTLOG逻辑,对中国无线局域网安全标准无线认证和保密基础设施(WAPI)实施方案的认证模型进行了深入分析,分析结果表明该实施方案改正了原国家标准中密钥协商协议存在的安全缺陷,在协议执行结束时能够保证用户端和接入点实现对彼此的身份认证,并且使双方建立了共享的单播主密钥.该协议能够达到预期的安全目标.
This paper makes an analysis of the authentication protocol of the Chinese Wireless LAN security standard WAPI （Wireless Authentication and privacy Infrastructure ） implementation plan using an enhanced BAN logic-AUTLOG logic. Results show that when the authentication protocol is finished, STA and AP can authenticate each other＇s identity and establish a shared pairwise master key. We further conclude that this implementation plan has modified the security issues of the original standani, and thus it can completely reach the authentication goals and satisfy desirable security attributes.
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2005年第4期545-548,592,共5页
Journal of Xidian University
基金
国家自然科学基金重大计划资助项目(90204012)
国家863计划资助项目(2002AA143021)
2003教育部优秀青年教师资助计划
2003教育部科学技术研究重点资助项目
作者简介
张帆（1975-），男，西安电子科技大学博士研究生．
