DocumentCode
532018
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
Volume
8
fYear
2010
fDate
22-24 Oct. 2010
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCASM.2010.5619304
Filename
5619304
Link To Document