WAPI实施方案的安全性分析  

Security analysis of the Chinese wireless LAN standard implementation plan

作　　者：张帆[1] 马建峰[1] 

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

出　　处：《西安电子科技大学学报》2005年第4期545-548,592,共5页Journal of Xidian University

基　　金：国家自然科学基金重大计划资助项目(90204012);国家863计划资助项目(2002AA143021);2003教育部优秀青年教师资助计划;2003教育部科学技术研究重点资助项目

摘　　要：利用增强的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.

关 键 词：无线局域网 无线认证和保密基础设施 安全分析 AUTLOG逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]