Formal Verification of IEEE 802.11 Authentication Protocols
IEEE 802.11 is the standard designed to provide secured communication in wireless LAN. The IEEE 802.11i specification contains both WPA-PSK, WPA-GPG authentication protocols. IEEE 802.11w authentication protocol enhances the IEEE802.11i security for selected management frames. These protocols allow a wireless station to gain access to a protected wireless network managed by an access point. In this paper, a section of the protocols is chosen for modeling and verification. Communicating Sequential Process (CSP) is used for modeling and the verification is performed using CasperFDR.