Analysis of cryptographic protocol about wireless LAN base on Petri net
Hu Min, Zou Siyu · 2010
In This paper, It is suggested to construct a WLAN security protocol model using Petri net. The Petri net is used to model generation process of WEP KEY of WLAN standard 802.11 series, by which the protocol is tested. Leaks are found in this wireless communication protocol, which facilitates the improvement of this protocol.