Aida Ben Chehida Douss, Ryma Abassi, Nihel Ben Youssef, Sihem Guemara El Fatmi. A Formal Environment for MANET Organization and Security. In Michael Reiter, David Naccache, editors, Cryptology and Network Security - 14th International Conference, CANS 2015, Marrakesh, Morocco, December 10-12, 2015, Proceedings. Volume 9476 of Lecture Notes in Computer Science, pages 144-159, Springer, 2015. [doi]