An Efficient Authentication Protocol of WLAN and its Security Proof

Haojun Zhang; Li Chen

ChinaCom2008-Network and Information Security Symposium

Research Article

An Efficient Authentication Protocol of WLAN and its Security Proof

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1109/CHINACOM.2008.4685226,
    author={Haojun Zhang and Li Chen},
    title={An Efficient Authentication Protocol of WLAN and its Security Proof},
    proceedings={ChinaCom2008-Network and Information Security Symposium},
    publisher={IEEE},
    proceedings_a={CHINACOM2008-NIS},
    year={2008},
    month={11},
    keywords={WLAN; Authentication; WAPI; 802.11i; PCL},
    doi={10.1109/CHINACOM.2008.4685226}
}

Haojun Zhang
Li Chen
Year: 2008
An Efficient Authentication Protocol of WLAN and its Security Proof
CHINACOM2008-NIS
IEEE
DOI: 10.1109/CHINACOM.2008.4685226

Haojun Zhang¹^,*, Li Chen²^,*

1: Computer Engineering dept Henan University of Technology Zhengzhou, China
2: Modern Education Technology Center Henan University of Finance and Economics Zhengzhou, China

*Contact email: zhj@haut.edu.cn, cl@hnife.edu.cn

Abstract

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.

Keywords: WLAN; Authentication; WAPI; 802.11i; PCL

Published: 2008-11-21
Publisher: IEEE
Modified: 2010-05-16

: http://dx.doi.org/10.1109/CHINACOM.2008.4685226