文献类型：会议论文

英文题名：An Efficient Authentication Protocol of WLAN and its Security Proof

作者：Zhang, Haojun[1];Chen, Li[2]

第一作者：Zhang, Haojun

通讯作者：Zhang, HJ[1]

机构：[1]Henan Univ Technol, Dept Comp Engn, Zhengzhou 450000, Peoples R China;[2]Henan Univ Finance & Econ, Modern Educ Technol Ctr, Zhengzhou, Peoples R China

第一机构：Henan Univ Technol, Dept Comp Engn, Zhengzhou 450000, Peoples R China

通讯机构：[1]corresponding author), Henan Univ Technol, Dept Comp Engn, Zhengzhou 450000, Peoples R China.

会议论文集：3rd International Conference on Communications and Networking in China

会议日期：AUG 25-27, 2008

会议地点：Hangzhou, PEOPLES R CHINA

语种：英文

外文关键词：WLAN; Authentication; WAPI; 802.11i; PCL

摘要：The authentication infrastructures of 802.11i and WAPI lack the features of authenticating STAs in the foremost time, and give more opportunities for attackers to launch DoS attacks to consume legal principals' resources on computation and communication. An improved IAKN protocol is presented and its security proof is stated. The analysis shows that it has better security properties and is more efficient than IEEE 802.11i and WAPI. The security properties - session authentication and secret key secrecy - are proved using PCL. The invariants of compositional security guarantees are deduced. The proposed protocol can be securely composed with other protocols when these invariants are protected.