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

Rajiv Ranjan Singh José Moreira Tom Chothia Mark Dermot Ryan

Published in: STM (2020)

Keyphrases

security properties
security protocols
low cost
distributed systems
knowledge base
knowledge based systems
intrusion detection
formal methods
security vulnerabilities