TY - GEN
T1 - Formal verification of PAP and EAP-MD5 protocols in wireless networks
T2 - Proceedings - 18th International Conference on Advanced Information Networking and Applications, AINA 2004
AU - Kim, Il Gon
AU - Choi, Jin Young
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=3042686296&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=3042686296&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:3042686296
SN - 0769520510
T3 - Proceedings - International Conference on Advanced Information Networking and Application (AINA)
SP - 264
EP - 269
BT - Proceedings - 18th International conference on Advanced Information Networking and Applications, AINA 2004 Volume 2 (Regional Papers)
A2 - Barolli, L.
Y2 - 29 March 2004 through 31 March 2004
ER -