A formal analysis of IEEE 802.11w deadlock vulnerabilities.

Martin Eian Stig Fr. Mjølsnes

Published in: INFOCOM (2012)

Keyphrases

formal analysis
information security
formal methods
computer society
intelligent agent technology
agent model
wireless lan
security vulnerabilities
countermeasures
security issues
ban logic
security mechanisms