B. Mancini, The great reconnaissance: a uav project in niger, GeoInformatics, vol.17, issue.6, p.6, 2014.

S. Rosati, K. Kruzelecki, G. Heitz, D. Floreano, and B. Rimoldi, Dynamic Routing for Flying Ad Hoc Networks, IEEE Transactions on Vehicular Technology, vol.65, issue.3, 2014.
DOI : 10.1109/TVT.2015.2414819

K. P. Valavanis and G. J. Vachtsevanos, Uav applications: introduction, " in Handbook of Unmanned Aerial Vehicles, pp.2639-2641, 2015.

J. Maxa, M. Slim-ben-mahmoud, and N. Larrieu, Secure routing protocol design for uav ad hoc networks, Digital Avionics Systems Conference (DASC), pp.2015-2019, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01166852

J. Li, Y. Zhou, and L. Lamont, Communication architectures and protocols for networking unmanned aerial vehicles, Globecom Workshops (GC Wkshps ), pp.2013-1415, 2013.

L. Gupta, R. Jain, and G. Vaszkun, Survey of Important Issues in UAV Communication Networks, IEEE Communications Surveys & Tutorials, vol.18, issue.2
DOI : 10.1109/COMST.2015.2495297

J. Maxa, G. Roudiere, and N. Larrieu, Emulation-Based Performance Evaluation of Routing Protocols for Uaanets, Communication Technologies for Vehicles, pp.227-240, 2015.
DOI : 10.1007/978-3-319-17765-6_20

URL : https://hal.archives-ouvertes.fr/hal-01132516

C. Perkins, S. Belding-royer, and . Das, Ad hoc on demand distance vector (aodv) routing (rfc 3561), IETF MANET Working Group, 2003.

T. Clausen, P. Jacquet, C. Adjih, A. Laouiti, P. Minet et al., Optimized link state routing protocol (olsr) The dynamic source routing protocol (dsr) for mobile ad hoc networks for ipv4 Simulation-based performance evaluation of mobile ad hoc routing protocols in a swarm of unmanned aerial vehicles, Advanced Information Networking and Applications Workshops AINAW'07. 21st International Conference on, pp.249-256, 2003.

J. Maxa13, ]. N. Butcher, A. Stewart, S. Biaz14-]-n, H. Larrieu et al., Model-driven approach to design a secure routing protocol for uav adhoc networks Securing the mavlink communication protocol for unmanned aircraft systems How can model driven development approaches improve the certification process for uas, EDSYS 2015, 15ème Congrès des doctorants Unmanned Aircraft Systems (ICUAS), 2014 International Conference on, pp.253-260, 2014.

. Monate, Testing or formal verification: do-178c alternatives and industrial experience, Prototypage rapide de logiciel pour les systèmes avioniques: contribution des approches orientées modèle pour la certification de systèmes complexes, pp.50-57, 2013.

R. Castanet and D. Rouillard, Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis, Testing of Communicating Systems XIV, pp.249-265, 2002.
DOI : 10.1007/978-0-387-35497-2_19

A. Kato, M. Jamalipour, H. Khabbazian, V. K. Mercier, ]. J. Bhargava et al., Severity analysis and countermeasure for the wormhole attack in wireless ad hoc networks An attacker model for manet routing security Packet leashes: a defense against wormhole attacks in wireless networks, Proceedings of the second ACM conference on Wireless network security INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer and Communications, pp.85-91, 2003.

M. Jain, H. Kandwal, and E. M. Belding-royer, A survey on complex wormhole attack in wireless ad hoc networks [24] O. Team, Openembedded user manual Aodv implementation design and performance evaluation, 2009 International Conference on Advances in Computing, Control, and Telecommunication Technologies Integrated Communications Navigation and Surveillance (ICNS) Conference, pp.555-558, 2005.