Formal verification of IEEE 802.11 authentication protocols

Journal of Networks

Volumn 8, Issue 4, 2013, Pages 769-778

  Raju, K V Krishnam ^a   Kumari, V Valli ^b  

^a SRKR ENGINEERING COLLEGE   (India)

^b ANDHRA UNIVERSITY   (India)

Author keywords

802.11w; CasperFDR; CSP; Formal Verification; IEEE 802.11i, WPA PSK, WPA GPG, IEEE

Indexed keywords

802.11W; CASPERFDR; CSP; FORMAL VERIFICATIONS; IEEE802.11I;

AUTHENTICATION; SPECIFICATIONS;

STANDARDS;

EID: 84878630477     PISSN: 17962056     EISSN: None     Source Type: Journal    
DOI: 10.4304/jnw.8.4.769-778     Document Type: Article

References (20)

1. M. Abadi, M. Burrows, R. Needham. "A Logic of Authentication", Proceeding of the Royal Society, Series A, pp. 233-271, December 1989.
2. I.G. Kim and J.Y. Choi, "Formal verification of PAP and EAP-MD5 Protocols in wireless networks: FDR Model Checking", AINA, 2004.
3. P.Y.A. Ryan and S.A. Schneider, "Modeling and analysis of security protocols: the CSP Approach", Addison- Wesley, 2001.
4. C.A.R. Hoare, "Communicating sequential processes", Communications of ACM, vol. 21, no. 8, pp.666-677, 1978.
5. C.A.R. Hoare, "Communicating Sequential Processes", Prentice Hall International, 1985.
6. G. Lowe, "Breaking and fixing the Needham-Schroeder public key protocol using FDR", TACAS, Springer LNCS, 1996.
7. P.Y.A. Ryan and S.A. Schneider, "Modeling and analysis of security protocols: the CSP Approach", Addison- Wesley, 2001.
8. G. Lowe, "Casper: A compiler for the analysis of security protocols", 10th IEEE Computer Security Foundations Workshop, 1997.
9. IEEE 802.11i: WLAN Security Standards, www.javvin.com/protocol80211i.html.
10. Gabriele Monti, "WPA-GPG: Wireless authentication using GPG Key", DEIS Technical Report no DEIS-LIA- 007-09, LIA Series no 97, 2009.
11. J. Bellardo and S. Savage, "802.11 Denial-of-Service attacks: real vulnerabilities and practical solutions", USENIX Security Symposium, 2003.
12. D. Johnston and J. Walker, "Overview of IEEE 802.16 security", IEEE Security & Privacy, 2004.
13. S. Xu, M.M. Matthews, and C.T. Huang, "Modeling and Analysis of IEEE 802.16 PKM Protocols using CasperFDR", IEEE ISWCS, 2008.
14. K. V. Krishnam Raju, V. Valli kumari, N. Sandeep varma, KVSVN. Raju, "Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR", ICT, Springer LNCS-CCSIS, 2010.
15. Il-Gon Kim, Hyun-Seok Kim, Ji-Yeon Lee and Jin-Young choi, "Analysis and Modification of ASK Mobile Security Protocol", WMCS, IEEE Xplore, 2005.
16. Syed Islam, Mohammed H.Sqvalli and Sohel Khan, "Modeling and Formal Verification of DHCP Using SPIN", International journal of computer science& applications, vol. 3, no. 6, June 2006.
17. http://www.lylebackemort.com/blog/2008/5/10/wpa-wpa2-as-insecure-as-i-expected,Accessed on 14-03-2010.
18. Sen Xu, Chin-Tser Huang, Manton M. Matthews, "Modeling and Analysis of IEEE 802.16 PKM Protocol using CasperFDR", IEEE ICWCS, 2008.
19. K. V. Krishnam Raju, V. Valli kumari, KVSVN. Raju, "Modeling and Analysis of IEEE802.11i WPA-PSK title; Authentication Protocol", ICNCS, IEEE Xplore, 2011.
20. K. V. Krishnam Raju, V. Valli kumari, "Formal Verification of IEEE802.11i WPA-GPG Authentication Protocol", AIM, Springer LNCS-CCIS, 2011