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.
['Xiao Liu', 'Abraham O. Fapojuwo']
Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard