Mobila handdatorer med trådlös åtkomst används i många säkerhetskritiska applikationer. De trådlösa nätverksprotokoll som används är sårbara för ett brett utbud av överbelastningsattacker. Vi föreslår en formell metod för att modellera semantiskt förnekande av tjänsteattacker mot trådlösa nätverksprotokoll. Vi använder sedan vår föreslagna modell för att hitta ett nytt dödläge i IEEE 802.11. Historien om publicerade överbelastningsattacker mot trådlösa protokoll indikerar att formella metoder kan bidra till konstruktionen av robusta protokoll.
När det gäller formella DDoS-modelleringsmetoder föreslog forskare i Ref en formell metod för modellering av semantiska DOS-attacker mot trådlösa nätverk och visade hur modellen kan användas för att upptäcka sårbarheter i protokollet.
The modeling and comparison of wireless network denial of service attacks
{'venue': "MobiHeld '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}