Analysis of cryptographic protocol about wireless LAN base on Petri net | IEEE Conference Publication | IEEE Xplore