{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,11]],"date-time":"2025-12-11T07:35:41Z","timestamp":1765438541344,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319944203"},{"type":"electronic","value":"9783319944210"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94421-0_1","type":"book-chapter","created":{"date-parts":[[2018,6,14]],"date-time":"2018-06-14T23:49:36Z","timestamp":1529020176000},"page":"3-16","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin"],"prefix":"10.1007","author":[{"given":"Houssem E.","family":"Mohamadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nadjia","family":"Kara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohand","family":"Lagha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"1_CR1","unstructured":"ElKholy, H.M.N., Habib, M.-K.: Dynamic modeling and control of a Quadrotor using linear and nonlinear approaches. M.S. thesis, The American University in Cairo (2014)"},{"key":"1_CR2","unstructured":"Li, Y., St-Hilaire, M., Kunz, T.: Enhancing the RGR routing protocol for unmanned aeronautical ad-hoc networks. Technical report SCE-12-01, Systems and Computer Engineering, Carleton University (2012)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Maxa, J.-A., Ben Mahmoud, M.-S., Larrieu, N.: Extended verification of secure UAANET routing protocol. In: 35th Digital Avionics Systems Conference, Sacramento, United States (2016)","DOI":"10.1109\/DASC.2016.7777970"},{"key":"1_CR4","unstructured":"Maxa, J.-A.: Architecture de communication scurise d\u2019une flotte de drones. Rseaux et tlcommunications. Universit Toulouse 3 Paul Sabatier, Fran\u00e7ais (2017)"},{"key":"1_CR5","unstructured":"Maxa, J.-A., Ben Mahmoud, M.-S., Larrieu, N.: Survey on UAANET routing protocols and network security challenges. Ad Hoc Sens. Wirel. Netw. (2017)"},{"key":"1_CR6","series-title":"Computer Communications and Networks","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-328-6_8","volume-title":"Guide to Wireless Ad Hoc Networks","author":"D C\u00e2mara","year":"2009","unstructured":"C\u00e2mara, D., Loureiro, A.A., Filali, F.: Formal verification of routing protocols for wireless ad hoc networks. In: Misra, S., Woungang, I., Chandra Misra, S. (eds.) Guide to Wireless Ad Hoc Networks. Computer Communications and Networks. Springer, London (2009). \nhttps:\/\/doi.org\/10.1007\/978-1-84800-328-6_8"},{"issue":"7","key":"1_CR7","first-page":"2276","volume":"5","author":"P Sharma","year":"2016","unstructured":"Sharma, P., Yadav, I.: Improving reactive greedy reactive routing in flying ad hoc networks. Int. J. Sci. Eng. Technol. Res. 5(7), 2276\u20132281 (2016)","journal-title":"Int. J. Sci. Eng. Technol. Res."},{"issue":"7","key":"1_CR8","first-page":"2338","volume":"5","author":"SL Anisha","year":"2016","unstructured":"Anisha, S.L.: Enhancing RGR routing in unmanned air vehicles networks. Int. J. Sci. Eng. Technol. Res. 5(7), 2338\u20132343 (2016)","journal-title":"Int. J. Sci. Eng. Technol. Res."},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-30303-1_9","volume-title":"Foundations and Practice of Security","author":"P Lafourcade","year":"2016","unstructured":"Lafourcade, P., Puys, M.: Performance evaluations of cryptographic protocols verification tools dealing with algebraic properties. In: Garcia-Alfaro, J., Kranakis, E., Bonfante, G. (eds.) FPS 2015. LNCS, vol. 9482, pp. 137\u2013155. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30303-1_9"},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Xiong, C., Murata, T., Leigh, J.: An approach for verifying routing protocols in mobile ad hoc networks using Petri Nets. In: Proceedings of 6th IEEE Circuits and Systems Symposium on Emerging Technologies: Frontiers of Mobile and Wireless Communication, vol. 2, pp. 537\u2013540 (2004). \nhttps:\/\/doi.org\/10.1109\/CASSET.2004.1321944","DOI":"10.1109\/CASSET.2004.1321944"},{"issue":"4","key":"1_CR11","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. J. ACM 49(4), 538\u2013576 (2002). \nhttps:\/\/doi.org\/10.1145\/581771.581775","journal-title":"J. ACM"},{"key":"1_CR12","unstructured":"G\u00fcrdag, A.-B., \u00c7aglayan, M.-U.: A formal security analysis of secure AODV (SAODV) using model checking. In: Proceedings of 8th International Symposium on Computer Networks (2008)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11601494_10","volume-title":"Security and Privacy in Ad-hoc and Sensor Networks","author":"G \u00c1cs","year":"2005","unstructured":"\u00c1cs, G., Butty\u00e1n, L., Vajda, I.: Provable security of on-demand distance vector routing in wireless ad hoc networks. In: Molva, R., Tsudik, G., Westhoff, D. (eds.) ESAS 2005. LNCS, vol. 3813, pp. 113\u2013127. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/11601494_10"},{"issue":"1\u20132","key":"1_CR14","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.tcs.2006.08.036","volume":"367","author":"S Nanz","year":"2006","unstructured":"Nanz, S., Hankin, C.: A framework for security analysis of mobile wireless networks. Theor. Comput. Sci. 367(1\u20132), 203\u2013227 (2006). \nhttps:\/\/doi.org\/10.1016\/j.tcs.2006.08.036","journal-title":"Theor. Comput. Sci."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Perkins, C.-E., Belding-Royer, E., Das, S.: Ad hoc on-demand distance vector (AODV) routing. Internet RFCs, pp. 1\u201338 (2003)","DOI":"10.17487\/rfc3561"},{"issue":"2","key":"1_CR16","first-page":"13","volume":"9","author":"I Bekmezci","year":"2016","unstructured":"Bekmezci, I., Senturk, E., Turker, T.: Security issues in flying ad-hoc networks (FANETS). J. Aeronaut. Space Technol. 9(2), 13\u201321 (2016)","journal-title":"J. Aeronaut. Space Technol."},{"key":"1_CR17","unstructured":"Liao, L.: Group key agreement for ad hoc networks. Master thesis, Ruhr-University Bochum, Germany (2005)"},{"key":"1_CR18","unstructured":"M\u00fcnch, M.: Integration and verification of a keyed-hash of a message authentication scheme based on broadcast timestamps for NUTS. Master thesis, NTNU, Trondheim (2014)"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Bhaskar, R., Herranz, J., Laguillaumie, F.: Efficient authentication for reactive routing protocols. In: 20th International Conference on Advanced Information Networking and Applications, vol. 2, pp. 57\u201361 (2006). \nhttps:\/\/doi.org\/10.1109\/AINA.2006.162","DOI":"10.1109\/AINA.2006.162"},{"issue":"19","key":"1_CR20","doi-asserted-by":"publisher","first-page":"38","DOI":"10.5120\/7914-1179","volume":"50","author":"K Vishesh","year":"2012","unstructured":"Vishesh, K., Verma, A.: Formal verification of authenticated AODV protocol using AVISPA. Int. J. Comput. Appl. 50(19), 38\u201343 (2012). \nhttps:\/\/doi.org\/10.5120\/7914-1179","journal-title":"Int. J. Comput. Appl."},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0000430","volume-title":"Advances in Cryptology \u2014 ASIACRYPT\u201994","author":"CA Meadows","year":"1995","unstructured":"Meadows, C.A., Meadows, C.A.: Formal verification of cryptographic protocols: a survey. In: Pieprzyk, J., Safavi-Naini, R. (eds.) ASIACRYPT 1994. LNCS, vol. 917, pp. 133\u2013150. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/BFb0000430"},{"key":"1_CR22","unstructured":"The AVISPA Team: AVISPA v1.1 User Manual (2006)"},{"key":"1_CR23","unstructured":"Pfeffer, K.: Formal verification of a LTE security protocol for dual-connectivity. M.S. thesis, KTH Royal Institute of Technology, Stockholm, Sweden (2014)"},{"key":"1_CR24","unstructured":"The Tamarin Team: Tamarin-Prover Manual: Security Protocol Analysis in the Symbolic Model (2017)"},{"key":"1_CR25","doi-asserted-by":"publisher","unstructured":"Perrig, A., Johnson, D.-B.: Packet leashes: a defense against wormhole attacks in wireless ad hoc networks. In: IEEE INFOCOM, pp. 1976\u20131986 (2003). \nhttps:\/\/doi.org\/10.1109\/INFCOM.2003.1209219","DOI":"10.1109\/INFCOM.2003.1209219"}],"container-title":["Communications in Computer and Information Science","Future Network Systems and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94421-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,13]],"date-time":"2018-07-13T14:27:59Z","timestamp":1531492079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94421-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944203","9783319944210"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94421-0_1","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}