Section: New Results
Participants : Mathilde Arnaud, Stéphanie Delaune.
Routing is the process of selecting paths in a network along which to send network traffic. Routing is performed for many kinds of networks, for example it is a central issue in mobile ad hoc networks, where mobile wireless devices have to autonomously organize their infrastructure. Secure routing protocols use cryptographic mechanisms in order to prevent a malicious node from compromising the discovered route.
Mathilde Arnaud, Véronique Cortier and Stéphanie Delaune present in  a calculus for modeling and reasoning about security protocols, including in particular secured routing protocols. Their calculus extends standard symbolic models to take into account the characteristics of routing protocols and to model wireless communication in a more accurate way. They propose a decision procedure for analyzing routing protocols for a bounded number of sessions and for a fixed network topology.