DocumentCode
1639850
Title
Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard
Author
Liu, Xiao ; Fapojuwo, Abraham O.
Author_Institution
Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB
fYear
2006
Firstpage
1
Lastpage
5
Abstract
In this paper, we analyze six major security properties of EAP (Extensible Authentication Protocol) methods and employ SVO (Syverson van Oorschot) logic based formal approach to evaluate those properties. We present a detailed analysis and comparative assessment of the three dominant EAP-based authentication protocols. The results of analysis are useful to WLAN designers in selecting a suitable authentication method for implementation.
Keywords
message authentication; protocols; telecommunication security; wireless LAN; IEEE 802.11 WLAN standard; Syverson van Oorschot logic based formal approach; extensible authentication protocol methods; formal evaluation; Authentication; Delay; Energy measurement; Logic; Protection; Protocols; Security; Throughput; Time measurement; Wireless LAN;
fLanguage
English
Publisher
ieee
Conference_Titel
Vehicular Technology Conference, 2006. VTC-2006 Fall. 2006 IEEE 64th
Conference_Location
Montreal, Que.
Print_ISBN
1-4244-0062-7
Electronic_ISBN
1-4244-0063-5
Type
conf
DOI
10.1109/VTCF.2006.493
Filename
4109758
Link To Document