Authentication Analysis of the IEEE 802.11i
802.11i的认证安全性分析

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 theory,and the authentication property of the resulting model was verified.Analysis proves that the authentication of 802.11i is not compromised in the presented model.