Abstract
IEEE802.11i is the standard designed to provide secured communication of wireless LAN. The IEEE802.11i specification contains WPA-GPG authentication protocol. It allows a wireless station to gain access to a protected wireless network managed by access point. This paper models the WPA-GPG authentication protocol by formal verification using CasperFDR and analyzes the output. A few attacks are found in this protocol. The specifications through which these attacks are found are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
IEEE 802.11i. WLAN Security Standards, http://www.javvin.com/protocol80211i.html
WPA-GPG. Wireless authentication using GPG Key, Gabriele Monti, December 9 (2009)
Lowe, G.: Casper: A compiler for the analysis of security protocols. Journal of Computer Security 6, 53–84 (1998)
Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666–677 (1978)
Hoare, C.A.R. (ed.): Communicating Sequential Processes. Prentice Hall International (1985)
Johnston, D., Walker, J.: Overview of IEEE 802.16 security. IEEE Security & Privacy (2004)
Xu, S., Matthews, M.M., Huang, C.-T.: Modeling and Analysis of IEEE 802.16 PKM Protocols using CasperFDR. In: IEEE ISWCS 2008 (2008)
Krishnam Raju, K.V., Valli kumari, V., Sandeep varma, N., Raju, K.V.S.V.N: Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR. In: International Conference on advances in information and communication technologies, ICT 2010, Kerala, India (September 2010)
Wpa-Wpa2, http://www.lylebackemort.com/blog/2008/5/10/wpa-wpa2-as-insecure-as-i-expected (accessed on March 14, 2010)
Xu, S., Huang, C.-T., Matthews, M.M.: Modeling and Analysis of IEEE 802.16 PKM Protocol using CasperFDR. University of South California, Columbia SC, 29208
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krishnam Raju, K.V., Valli Kumari, V. (2011). Formal Verification of IEEE802.11i WPA-GPG Authentication Protocol. In: Das, V.V., Thomas, G., Lumban Gaol, F. (eds) Information Technology and Mobile Communication. AIM 2011. Communications in Computer and Information Science, vol 147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20573-6_44
Download citation
DOI: https://doi.org/10.1007/978-3-642-20573-6_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20572-9
Online ISBN: 978-3-642-20573-6
eBook Packages: Computer ScienceComputer Science (R0)