Abstract
IEEE 802.11 is the standard designed to provide secured communication in wireless LAN. 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 protocol is chosen for modelling and verification. Communicating Sequential Process (CSP) is used for modelling and the verification is performed using CasperFDR. CasperFDR can verify most of the communication protocols. It can perform an exhaustive verification that can establish with mathematical certainty whether or not a given behaviour is error-free. CasperFDR is used to specify system behaviour in a formal validation model that defines interactions between the processes. This paper models IEEE802.11w 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 were found are presented.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
