Author Login Editor-in-Chief Peer Review Editor Work Office Work

Computer Engineering ›› 2008, Vol. 34 ›› Issue (3): 163-164,. doi: 10.3969/j.issn.1000-3428.2008.03.057

• Security Technology • Previous Articles     Next Articles

Security Analysis and Verification of WAPI Access Authentication Protocol (WAI)

LI Hui-xian1, CAI Wan-dong1, PANG Liao-jun2   

  1. (1. School of Comput. Sci., Northwestern Polytechnical Univ., Xi’an 710072; 2. Ministry of Edu. Key Lab. of Comp. Netw. and Info. Security, Xidian Univ., Xi’an 710071)
  • Received:1900-01-01 Revised:1900-01-01 Online:2008-02-05 Published:2008-02-05

WAPI接入鉴别协议WAI的安全性分析和验证

李慧贤1,蔡皖东1,庞辽军2   

  1. (1. 西北工业大学计算机学院,西安 710072;2. 西安电子科技大学计算机网络与信息安全教育部重点实验室,西安 710071)

Abstract: Based on the thoroughly researches and analysis on the WLAN Authentication and Privacy Infrastructure (WAPI) access authentication process, i.e. the WAI protocol, this paper analyzes and verifies its authentication access process with CK model. Result of analysis indicates that the authentication access process of WAI can meet the security requirements of WLAN, such as data privacy protection, integrity protection, mutual identity authentication, mutual key control, private-key confirmation, etc. Therefore, WAPI can be applied to replace the original security mechanism WEP used in WLAN and to enhance its security.

Key words: WLAN, authentication, key agreement

摘要: 研究和分析无线局域网鉴别和保密基础设施WAPI的接入鉴别过程,即WAI协议,利用CK模型,对其安全认证和密钥协商过程进行了安全性分析。分析结果表明,WAI能够实现消息完整性保护、相互的实体认证、相互的密钥控制、密钥确认等安全属性,满足无线局域网的安全目标,从而可以用来替代WEP增强无线局域网的安全性。

关键词: 无线局域网, 认证, 密钥协商

CLC Number: