Formal Evaluation of Major Authentication Methods for IEEE 802.11i WLAN Standard
Xiao Liu, Abraham O. Fapojuwo · IEEE Vehicular Technology Conference · 2006
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.