Portal de Periódicos da CAPES

Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard

2006; Institute of Electrical and Electronics Engineers; Linguagem: Inglês

10.1109/vtcf.2006.493

2577-2465

Xiao Liu, Abraham O. Fapojuwo,

Bluetooth and Wireless Communication Technologies

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.