Mobile ad-hoc and sensor networks play an important role in several application fields. The usage of wireless links and the node mobility make the networks prone to security attacks; among these, jamming attacks are insidious and they consist of one or more nodes continuously transmitting dummy packets to keep some wireless links busy. The goal is to destroy the network connectivity or highly reduce its throughput. In this paper we propose a probabilistic formal method, based on a process algebraic approach, targeted at the analysis of connectivity and the evaluation of interference in mobile networks. We show our framework at work on the analysis of an indoor wireless communication scenario.
|Data di pubblicazione:||2012|
|Titolo:||Evaluating Resistance to Jamming and Casual Interception in Mobile Wireless Networks|
|Titolo del libro:||Proc. of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM'12)|
|Digital Object Identifier (DOI):||http://dx.doi.org/10.1145/2387238.2387265|
|Appare nelle tipologie:||4.1 Articolo in Atti di convegno|
File in questo prodotto:
|main.pdf||Documento in Post-print||Licenza non definita||Riservato|