
|
Security Analyses Arbaugh & Mishra (2002) http://www.cs.umd.edu/~waa/1x.pdf Found issues in EAP state machine that could lead to bypass of EAP-TLS server authentication Issues fixed in RFC 3748 & 4137 He, Sundararajan, Datta, Derek & Mitchell “A Modular Correctness Proof of IEEE 802.11i and TLS” Proof of security of EAP-TLS stand-alone and when used with IEEE 802.11i |