Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking

  title={Formal verification of PAP and EAP-MD5 protocols in wireless networks: FDR model checking},
  author={Il-Gon Kim and Jin-Young Choi},
  journal={18th International Conference on Advanced Information Networking and Applications, 2004. AINA 2004.},
  pages={264-269 Vol.2}
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. 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. 
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
20 Citations
7 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 20 extracted citations


Publications referenced by this paper.
Showing 1-7 of 7 references

Rfc 2138

  • C. Rigney, A. Rubens, W. Simpson, S. Willens
  • Remote Authentication Dial In User Service(RADIUS…
  • 1997
Highly Influential
4 Excerpts

A chapter in Wireless Local Area Network: The New Wireless Revolution

  • D. Stanley
  • Proceedings of the 18th International Conference…
  • 2003
1 Excerpt

modelling and analysis of security protocols: the CSP

  • P.Y.A. Ryan, A S., Schneider
  • 2001
2 Excerpts

Similar Papers

Loading similar papers…