Security Analysis of WAPI Key Negotiation Protocol

The authentication process of wireless local area network authentication and privacy infrastructure, namely, WAI protocol, is researched and analyzed, and the security analysis is made to its the key-agreement process by using CK model. The analysis shows that: WAI can realize security attributes such as mutual key-control, key confirmation and so on, and it can also statisfy the secure goal of wireless local area network. Thus, it can be used to enhance the security of wireless local area network instead of WEP.