emu-0----Page:6
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15 

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


PPT Version