Sciweavers

Share
AINA
2004
IEEE

Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking

10 years 3 months ago
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based security protocols formally with Casper and CSP, and then verify their security properties such as secrecy and authentication using FDR. We also show that they are vulnerable to the man-in-the-middle attack. Finally we discuss their security weakness and potential countermeasures related to PAP and EAP-MD5 protocols.
Il-Gon Kim, Jin-Young Choi
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2004
Where AINA
Authors Il-Gon Kim, Jin-Young Choi
Comments (0)
books