The security proof of a 4-way handshake protocol in IEEE 802.11i

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3802 LNAI, Issue , 2005, Pages 488-493

  Zhang, Fan ^a   Ma, Jianfeng ^b   Moon, SangJae ^c  

^a XIDIAN UNIVERSITY   (China)

^b TIANJIN POLYTECHNIC UNIVERSITY   (China)

^c Kyungpook National University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; LOCAL AREA NETWORKS; MATHEMATICAL MODELS; PROBLEM SOLVING; SECURITY OF DATA;

4-WAY HANDSHAKE PROTOCOL; CANETTI-KRAWCZYK (CK) MODEL; SECURITY PROBLEMS;

NETWORK PROTOCOLS;

EID: 33646834761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596981_72     Document Type: Conference Paper

References (14)

1. 802.11-1999., I.S., Information technology -Telecommunications and information exchange between systems - Local and metropolitan area networks - Specific requirements - Part 11: Wireless LAN Medium Access Control and Physical Layer Specifications. (1999).
2. 802.11b-1999, I.S., Higher-Speed Physical Layer Extension in the 2.4 GHz Band, Supplement to IEEE Standard for Information technology - Telecommunications and information exchange between systems - Local and metropolitan area networks - Specific requirements - Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications. (1999).
3. IEEE P802.11i D3.0, Specification for Enhanced Security. (2002).
4. Aboba, B., and Simon D., PPP EAP TLS Authentication Protocol.(1999) (RFC 2716)
5. 802.1X-2001, I.S., IEEE Standard for Local and metropolitan area networks - Port-Based Network Access Control. (2001).
6. Rigney, C., et al., Remote Authentication Dial in User Service (RADIUS).RFC 2865. (2000).
7. Borisov, N., Goldberg, I., and Wagner, D., Intercepting mobile communications: the insecurity of 802.11. In The 7th Annual International Conference on Mobile Computing and Networking. (2001). Italy.
8. Changhua, H., Mitchell, C J. Analysis of the 802.11i 4-Way Handshake. In proceedings of WiSe'04, October 1, (2004), Philadelphia, Pennsylvania, USA.
9. Canetti, R., and Krawczyk, H., Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. In proceedings of Eurocrypt 01. (2001).
10. Canetti, R. and Krawczyk, H., Universally Composable Notions of Key Exchange and Secure Channels. In proceedings of Eurocrypt 02. (2002).
11. Lindell, Y., Composition of secure multi-party protocols - A comprehensive study. Lecture Notes in Computer Science, (2003). Springer-Verlag 2815.
12. Lindell, Y., General Composition and Universal Composability in Secure Multi-Party Computation. In 44th FOCS, (2003).
13. Canetti, R. Universally composable security: a new paradigm for cryptographyic protocol. In 42nd FOCS. (2001).
14. Canetti, R., et al. Universally Composable Two-party and Muti-party Secure Computation. In 34th STOC. (2002).