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. © 2011 Springer-Verlag.
CITATION STYLE
Krishnam Raju, K. V., & Valli Kumari, V. (2011). Formal verification of IEEE802.11i WPA-GPG authentication protocol. In Communications in Computer and Information Science (Vol. 147 CCIS, pp. 267–272). https://doi.org/10.1007/978-3-642-20573-6_44
Mendeley helps you to discover research relevant for your work.