Title :
Analysis of cryptographic protocol about wireless LAN base on Petri net
Author :
Min, Hu ; Siyu, Zou
Author_Institution :
Dept. of Comput. Sci. & Technol., NanChang Inst. of Technol., Nanchang, China
Abstract :
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.
Keywords :
Petri nets; cryptographic protocols; standards; wireless LAN; Petri net; WEP KEY; WLAN security protocol model; WLAN standard 802.11 series; cryptographic protocol; wireless LAN; wireless communication protocol; Analytical models; IEEE 802.11 Standards; Monitoring; Petri Net; TKIP; Wireless LAN;
Conference_Titel :
Computer Application and System Modeling (ICCASM), 2010 International Conference on
Conference_Location :
Taiyuan
Print_ISBN :
978-1-4244-7235-2
Electronic_ISBN :
978-1-4244-7237-6
DOI :
10.1109/ICCASM.2010.5619304
