A formal analysis of IEEE 802.11w deadlock vulnerabilities

Formal methods can be used to discover obscure denial of service (DoS) vulnerabilities in wireless network protocols. The application of formal methods to the analysis of DoS vulnerabilities in communication protocols is not a mature research area. Although several formal models have been proposed,...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Eian, M., Mjolsnes, S. F.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Authentication Computer crime IEEE 802.11 Standards Protocols Switches System recovery
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!