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
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;
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
DOI :
10.1109/VTCF.2006.493
