{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:40:55Z","timestamp":1725867655915},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319477169"},{"type":"electronic","value":"9783319477176"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47717-6_20","type":"book-chapter","created":{"date-parts":[[2016,10,13]],"date-time":"2016-10-13T04:59:47Z","timestamp":1476334787000},"page":"231-239","source":"Crossref","is-referenced-by-count":1,"title":["Towards Provable Security of Dynamic Source Routing Protocol and Its Applications"],"prefix":"10.1007","author":[{"given":"Naoto","family":"Yanai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"unstructured":"\u00c1cs, G.: Secure routing in multi-hop wireless networks, Ph.D. thesis. Budapest University of Technology and Economics (2009)","key":"20_CR1"},{"doi-asserted-by":"crossref","unstructured":"Arnaud, M., Cortier, V., Delaune, S.: Modeling and verifying ad hoc routing protocols. In: Proceedings of CSF 2010, pp. 59\u201374. IEEE (2010)","key":"20_CR2","DOI":"10.1109\/CSF.2010.12"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.ic.2014.07.004","volume":"238","author":"M Arnaud","year":"2014","unstructured":"Arnaud, M., Cortier, V., Delaune, S.: Modeling and verifying ad hoc routing protocols. Inf. Comput. 238, 30\u201367 (2014)","journal-title":"Inf. Comput."},{"doi-asserted-by":"crossref","unstructured":"Boldyreva, A., Lychev, R.: Provable security of S-BGP, other path vector protocols: model, analysis and extensions. In: Proceedings of ACM CCS 2012, pp. 541\u2013552. ACM (2012)","key":"20_CR4","DOI":"10.1145\/2382196.2382254"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-45682-1_30","volume-title":"Advances in Cryptology \u2014 ASIACRYPT 2001","author":"D Boneh","year":"2001","unstructured":"Boneh, D., Lynn, B., Shacham, H.: Short signatures from the weil pairing. In: Boyd, C. (ed.) ASIACRYPT 2001. LNCS, vol. 2248, pp. 514\u2013532. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45682-1_30"},{"doi-asserted-by":"crossref","unstructured":"Butty\u00e1n, L., Vajda, I.: Towards provable security for ad hoc routing protocols. In: Proceedings of SASN, pp. 94\u2013105. ACM Press (2004)","key":"20_CR6","DOI":"10.1145\/1029102.1029119"},{"doi-asserted-by":"crossref","unstructured":"Ghosh, U., Datta, R.: Identity based secure AODV and tcp for mobile ad hoc networks. In: Proceedings of ACWR 2011, pp. 339\u2013346. ACM (2011)","key":"20_CR7","DOI":"10.1145\/2185216.2185308"},{"issue":"3","key":"20_CR8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1049\/iet-net.2013.0056","volume":"3","author":"U Ghosh","year":"2013","unstructured":"Ghosh, U., Datta, R.: SDRP: Secure and dynamic routing protocol for mobile ad-hoc networks. IET Netw. 3(3), 235\u2013243 (2013)","journal-title":"IET Netw."},{"unstructured":"Godskesen, J.C.: Formal verification of the ARAN protocol using the applied Pi-calculus. In: Proceeings of IFIP ITS, pp. 99\u2013113 (2015)","key":"20_CR9"},{"doi-asserted-by":"crossref","unstructured":"Goldberg, S., Naor, M., Papadopoulos, D., Reyzin, L., Vasant, S., Ziv, A.: Nsec5: provably preventing DNSSEC zone enumeration. In: Proceedings of NDSS 2015. Internet Society (2015)","key":"20_CR10","DOI":"10.14722\/ndss.2015.23211"},{"unstructured":"Guillemin, P.: ICTSB - RFID networks internet of things. In: ETSI 2007 (2007). http:\/\/docbox.etsi.org\/Partners\/ICTSB_Open\/RFID\/ICTSB_RFID_seminar_2007-10-24\/P.Guillemin_ICTSB%20on%20RFID_Oct.07.pdf","key":"20_CR11"},{"doi-asserted-by":"crossref","unstructured":"Hu, Y.-C., Perrig, A., Johnson, D.: Ariadne: a secure on demand routing protocol for ad hoc network. In: Proceedings of MobiCom 2002. ACM (2002)","key":"20_CR12","DOI":"10.1145\/570645.570648"},{"unstructured":"Hu, Y.-C., Perrig, A., Johnson, D.: SEAD: secure efficient distance vector routing for mobile wireless ad hoc networks. In: Proceedings of WMCSA 2002, pp. 3\u201313. ACM (2002)","key":"20_CR13"},{"key":"20_CR14","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/s11276-004-4744-y","volume":"11","author":"Y-C Hu","year":"2005","unstructured":"Hu, Y.-C., Perrig, A., Johnson, D.: Ariadne: a secure on demand routing protocol for ad hoc network. Wirel. Netw. 11, 21\u201338 (2005)","journal-title":"Wirel. Netw."},{"unstructured":"John, I., Marshall, D.: An analysis of the secure routing protocol for mobile ad hoc network route discovery: using intuitive reasoning and formal verification to identity flaws (2003)","key":"20_CR15"},{"key":"20_CR16","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-0-585-29603-6_5","volume":"353","author":"D Jonhson","year":"1996","unstructured":"Jonhson, D., Maltz, D.: Dynamic source routing in ad hoc wireless networks. Mobile Comput. 353, 153\u2013181 (1996)","journal-title":"Mobile Comput."},{"issue":"6","key":"20_CR17","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/j.adhoc.2008.09.007","volume":"7","author":"J Kim","year":"2009","unstructured":"Kim, J., Tsudik, G.: SRDP: secure route discovery for dynamic source routing in manets. Ad Hoc Netw. 7(6), 1097\u20131109 (2009)","journal-title":"Ad Hoc Netw."},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-24676-3_5","volume-title":"Advances in Cryptology - EUROCRYPT 2004","author":"A Lysyanskaya","year":"2004","unstructured":"Lysyanskaya, A., Micali, S., Reyzin, L., Shacham, H.: Sequential aggregate signatures from trapdoor permutations. In: Cachin, C., Camenisch, J.L. (eds.) EUROCRYPT 2004. LNCS, vol. 3027, pp. 74\u201390. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24676-3_5"},{"doi-asserted-by":"crossref","unstructured":"Muranaka, K., Yanai, N., Okamura, S., Fujiwara, T.: Secure routing protocols for sensor networks: construction with signature schemes for multiple signers. In: Proceedings of Trustcom 2015, pp. 1329\u20131336. IEEE (2015)","key":"20_CR19","DOI":"10.1109\/Trustcom.2015.526"},{"key":"20_CR20","doi-asserted-by":"crossref","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, 203\u2013227 (2006)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Papadimitratos, P., Haas, Z.J.: Secure routing for mobile ad hoc networks. In: Proceedings of CNDS, pp. 27\u201331 (2002)","key":"20_CR21","DOI":"10.1201\/9781420040401.ch31"},{"issue":"3","key":"20_CR22","doi-asserted-by":"crossref","first-page":"598","DOI":"10.1109\/JSAC.2004.842547","volume":"23","author":"K Sanzgiri","year":"2005","unstructured":"Sanzgiri, K., LaFlamme, D., Dahill, B., Levine, B.N., Shields, C., Belding-Royer, E.M.: Authenticated routing for ad hoc networks. IEEE J. Sel. Areas Commun. 23(3), 598\u2013610 (2005)","journal-title":"IEEE J. Sel. Areas Commun."},{"issue":"1","key":"20_CR23","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1504\/IJSN.2014.059329","volume":"9","author":"I Vajda","year":"2014","unstructured":"Vajda, I.: A proof technique for security assessment of on-demand ad hoc routing protocol. Int. J. Secur. Netw. 9(1), 12\u201319 (2014)","journal-title":"Int. J. Secur. Netw."},{"doi-asserted-by":"crossref","unstructured":"Zapata, M., Asokan, N.: Securing ad hoc routing protocols. In: Proceedings of WISE, pp. 1\u201310. ACM Press (2002)","key":"20_CR24","DOI":"10.1145\/570681.570682"},{"doi-asserted-by":"crossref","unstructured":"Zhang, F., Jia, L., Basescu, C., Kim, T., Hu, Y., Perrig, A.: Mechanized network origin and path authenticity proofs. In: Proceedings of ACM CCS 2014, pp. 346\u2013357. ACM (2014)","key":"20_CR25","DOI":"10.1145\/2660267.2660349"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47717-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T14:42:50Z","timestamp":1568472170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47717-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319477169","9783319477176"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47717-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}