Abstract: IEEE 802.11i protocol is used in resolving the security issues in wireless local area networks. Formal verification of 802. 11i protocol is very important to guarantee the correctness of this protocol. 802. 11i protocol was modeled using the strand space

Key words: 802.11i, Security protocol, Strand space, Authentication