Abstrakt. Mobila ad hoc-nätverk erbjuder mycket intressanta perspektiv inom trådlös kommunikation på grund av deras enkla installation och deras växande prestanda. På grund av deras inneboende egenskaper av öppen medium, mycket dynamisk topologi, brist på infrastruktur och brist på centraliserad förvaltning myndighet, MANET presentera allvarliga sårbarheter för säkerhetsattacker. I detta dokument föreslår vi ett system för att upptäcka intrång baserat på extended finit state-maskiner (EFSM). Vi tillhandahåller en formell specifikation av det korrekta beteendet hos routing protokollet och med hjälp av en bakåt kontrollera algoritm, upptäcka run-time överträdelser av genomförandet. Vi väljer standardproaktiv routing protokoll OLSR som en fallstudie och visar att vår strategi gör det möjligt att upptäcka flera typer av attacker samt överensstämmelse avvikelser.
I REF presenteras ett intrångsdetekteringssystem baserat på utvidgade ändliga tillståndsmaskiner.
An efsm-based intrusion detection system for ad hoc networks
{'venue': 'In ATVA', 'journal': None, 'mag_field_of_study': ['Computer Science']}