Distributed monitoring in Ad Hoc networks : conformance and security checking

Wissam Mallouli (1, 2, 3) , Bachar Wehbi (1, 2, 3) , Ana Rosa Cavalli (4, 1, 2, 3)

1 LOR - Département Logiciels et Réseaux
2 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
3 CNRS - Centre National de la Recherche Scientifique
4 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux

Ad hoc networks are exposed more than traditional networks to security threats due to their mobility and open architecture aspects. In addition, any dysfunction due to badly configured nodes can severely affect the network as all nodes participate in the routing task. For these reasons, it is important to check the validity of ad hoc protocols, to verify whether the running implementation is conform to its specification and to detect security flows in the network. In this paper, we propose a formal methodology to collect and analyze the network traffic trace. Observers running on a set of nodes collect local traces and send them later to a global observer that correlates them into a global trace thanks to an adapted time synchronization mechanism running in the network. The global trace is then analyzed to study the conformance and the security of the running routing protocol. This analysis is performed using dedicated algorithms that check the collected trace against a set of functional and security properties specified in an adapted formal language

Mots clés: Trace collection and correlation; Conformance testing; Security analysis; Nomad Logic; Monitoring; Ad hoc network

Domaines: Réseaux et télécommunications [cs.NI]

Wissam Mallouli, Bachar Wehbi, Ana Rosa Cavalli. Distributed monitoring in Ad Hoc networks : conformance and security checking. AdHoc-NOW 2008 : 7th International Conference on Ad Hoc Networks and Wireless, Sep 2008, Sophia-Antipolis, France. pp.345 - 356, ⟨10.1007/978-3-540-85209-4_27⟩. ⟨hal-01327393⟩