Title | ||
---|---|---|
Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/AINA.2004.1283800 | AINA (2) |
Keywords | Field | DocType |
eap-md5 protocols,theirsecurity weakness,fdr model checking,man-in-the-middle attack,security property,authenticationusing fdr,eap-md5 protocol,wireless networks,authentication server,formal verification,eap-md5based security protocol,potential countermeasures,security protocol,man in the middle attack,message authentication,wireless application protocol,intelligent networks,model checking,cryptographic protocols,computer security,protocols,authentication,wireless network | IEEE 802.1X,Challenge–response authentication,Computer science,Distributed System Security Architecture,Computer security,Computer network,Security service,Authentication protocol,Network Access Control,Wireless Transport Layer Security,Computer security model | Conference |
ISBN | Citations | PageRank |
0-7695-2051-0 | 6 | 0.59 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Il-gon Kim | 1 | 24 | 5.91 |
Jin-young Choi | 2 | 606 | 50.44 |