Research Article
An Efficient Authentication Protocol of WLAN and its Security Proof
@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
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.
Copyright © 2008–2024 IEEE
