Mobila ad hoc- och sensornätverk spelar en viktig roll inom flera tillämpningsområden. Användningen av trådlösa länkar och nodrörlighet gör nätverken benägna att säkerhetsattacker; bland dessa, stör attacker är försåtliga och de består av en eller flera noder som kontinuerligt sänder dump paket för att hålla vissa trådlösa länkar upptagna. Målet är att förstöra nätverksanslutningen eller kraftigt minska dess genomströmning. I detta dokument föreslår vi en probabilistisk formell metod, baserad på en processalgebraisk metod, inriktad på analys av konnektivitet och utvärdering av störningar i mobila nät. Vi visar vårt ramverk på arbetet med analysen av en inomhus trådlös kommunikation scenario.
Gallina m.fl. Ref har koncentrerat sig på analys av konnektivitet och utvärdering av störningar i mobila nät och har föreslagit en probabilistisk formell metod, baserad på en processalgebraisk metod.
Evaluating resistance to jamming and casual interception in mobile wireless networks
{'venue': "MSWiM '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}