On the impact of quality of protection in wireless local area networks with IP mobility
Mobile Networks and Applications
Hi-index | 0.00 |
IEEE 802.1x and authentication server based securityprotocols are mainly used for enhancing security of wirelessnetworks. In this paper, we specify PAP and EAP-MD5based security protocols formally with Casper and CSP, andthen verify their security properties such as secrecy and authenticationusing FDR. We also show that they are vulnerableto the man-in-the-middle attack. Finally we discuss theirsecurity weakness and potential countermeasures related toPAP and EAP-MD5 protocols.