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

Authors:
Fan Zhang;Jianfeng Ma;SangJae Moon
Affiliations:
Key Laboratory of Computer Networks and Information Security (Ministry of Education), Xidian University, Xi’an, China;Key Laboratory of Computer Networks and Information Security (Ministry of Education), Xidian University, Xi’an, China;Mobile Network Security Technology Research Center, Kyungpook National University, Daegu, Korea
Venue:
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part II
Year:
2005

Citing 8
Cited 1

Intercepting mobile communications: the insecurity of 802.11

Proceedings of the 7th annual international conference on Mobile computing and networking
Universally composable two-party and multi-party secure computation

STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels

EUROCRYPT '01 Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques: Advances in Cryptology
Universally Composable Notions of Key Exchange and Secure Channels

EUROCRYPT '02 Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques: Advances in Cryptology
Universally Composable Security: A New Paradigm for Cryptographic Protocols

FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
General Composition and Universal Composability in Secure Multi-Party Computation

FOCS '03 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science
Composition of Secure Multi-Party Protocols: A Comprehensive Study

Composition of Secure Multi-Party Protocols: A Comprehensive Study
Analysis of the 802.11i 4-way handshake

Proceedings of the 3rd ACM workshop on Wireless security

Ideal key derivation and encryption in simulation-based security

CT-RSA'11 Proceedings of the 11th international conference on Topics in cryptology: CT-RSA 2011

Quantified Score

Hi-index	0.01

Visualization

Abstract

The IEEE 802.11i is the security standard to solve the security problems of WLAN, in which, the protocol 4-way handshake plays a very important role in the authentication and key agreement process. In this paper, we analyzed the security of protocol 4-way handshake with the Canetti-Krawczyk (CK) model, a general framework for constructing and analyzing authentication protocols in realistic models of communication networks. The results show that 4-way handshake protocol can not only satisfy the definition of Session Key security defined in the CK model, but also the universal composition security, a stronger definition of security. So it can be securely used as the basic model of the authentication and key agreement of WLAN.