Visible to the public A Behavioural Theory for Intrusion Detection System in Mobile Ad-Hoc Networks

TitleA Behavioural Theory for Intrusion Detection System in Mobile Ad-Hoc Networks
Publication TypeConference Paper
Year of Publication2018
AuthorsYadav, Parul, Gaur, Manish
Conference NameProceedings of the 2Nd International Conference on High Performance Compilation, Computing and Communications
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-6337-2
Keywordscompositionality, formal framework for security in MANETs, full-abstraction for intrusion detection system in MANETs, MANET security, Metrics, process algebra for IDS, pubcrawl, resilience, Resiliency

We propose a Calculi in process algebraic framework to formally model Intrusion Detection System (IDS) for secure routing in Mobile Ad-hoc Networks. The proposed calculi, named as dRi, is basically an extension of Distributed pi calculus (Dpi). The calculi models unicast, multicast & broadcast communication, node mobility, energy conservation at node and detection of malicious node(s) in Mobile Ad-hoc Networks. The Calculi has two syntactic categories: one for describing nodes and another for processes which reside in nodes. We also present two views of semantic reductions; one as reduction on configurations whereas another as LTSs (Labelled Transition Systems), behavioural semantics, where reduction on configurations are described on various actions. We present an example described using LTSs to show the capability of the proposed calculi. We define a bisimulation based equivalence between configurations. Further we define a touch-stone equivalence on its reduction semantics & also present prove outline for bisimulation based equivalence that can be recovered from its touch-stone equivalence and vice-versa.

Citation Keyyadav_behavioural_2018