publication . Part of book or chapter of book . Conference object . 2020

Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties

Rajiv Ranjan Singh; José Moreira; Tom Chothia; Mark D. Ryan;
Open Access
  • Published: 05 Oct 2020
  • Publisher: Springer International Publishing
Abstract
The IEEE 802.11 standard de nes a 4-way handshake between a supplicant and authenticator for secure communication. Many attacks such as KRACK, cipher downgrades, and key recovery attacks have been recently discovered against it. These attacks raise the question as to whether the implementation violates one of the required security properties or whether the security properties are insucient. To the best of our knowledge, this is the rst work that shows how to answer this question using formal methods. We model and analyse a variety of these attacks using the Tamarin prover against the security properties mandated by the standard for the 4-way handshake. This lets...
Subjects
free text keywords: IEEE 802.11, WPA2 4-way handshake, Group key handshake, Downgrade attack
Funded by
EC| FutureTPM
Project
FutureTPM
Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module
  • Funder: European Commission (EC)
  • Project Code: 779391
  • Funding stream: H2020 | RIA
Download fromView all 2 versions
ZENODO
Conference object . 2020
Provider: ZENODO
http://link.springer.com/conte...
Part of book or chapter of book . 2020
Provider: Crossref
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue