A Formal Environment for MANET Organization and Security

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]

Authors

Aida Ben Chehida Douss

This author has not been identified. Look up 'Aida Ben Chehida Douss' in Google

Ryma Abassi

This author has not been identified. Look up 'Ryma Abassi' in Google

Nihel Ben Youssef

This author has not been identified. Look up 'Nihel Ben Youssef' in Google

Sihem Guemara El Fatmi

This author has not been identified. Look up 'Sihem Guemara El Fatmi' in Google