Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks. - Ana R. Cavalli; Jean-Marie Orset (ICDCS Workshops, 2004)

An EFSM-Based Intrusion Detection System for Ad Hoc Networks. - Jean-Marie Orset; Baptiste Alcalde; Ana R. Cavalli (ATVA, 2005)

Secure hosts auto-configuration in mobile ad hoc networks. - Ana R. Cavalli; Jean-Marie Orset (Ad Hoc Networks, 2005)

A Security Model for OLSR MANET Protocol. - Jean-Marie Orset; Ana R. Cavalli (MDM, 2006)

A formal approach for testing security rules. - Wissam Mallouli; Jean-Marie Orset; Ana R. Cavalli; Nora Cuppens-Boulahia; Frédéric Cuppens (SACMAT, 2007)