{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:45:26Z","timestamp":1771699526369,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642402029","type":"print"},{"value":"9783642402036","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40203-6_14","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T02:48:53Z","timestamp":1376448533000},"page":"237-254","source":"Crossref","is-referenced-by-count":28,"title":["Formal Approach for Route Agility against Persistent Attackers"],"prefix":"10.1007","author":[{"given":"Jafar Haadi","family":"Jafarian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ehab","family":"Al-Shaer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qi","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Lee, S.-J., Gerla, M.: Split multipath routing with maximally disjoint paths in ad hoc networks. In: IEEE International Conference on Communications, ICC 2001, vol.\u00a010, pp. 3201\u20133205 (2001)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/502034.502048","volume-title":"Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, SOSP 2001","author":"D. Andersen","year":"2001","unstructured":"Andersen, D., Balakrishnan, H., Kaashoek, F., Morris, R.: Resilient overlay networks. In: Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles, SOSP 2001, pp. 131\u2013145. ACM, New York (2001)"},{"key":"14_CR3","first-page":"139","volume-title":"Ad Hoc Networking","author":"D.B. Johnson","year":"2001","unstructured":"Johnson, D.B., Maltz, D.A., Broch, J.: DSR: the dynamic source routing protocol for multihop wireless ad hoc networks. In: Ad Hoc Networking, pp. 139\u2013172. Addison-Wesley, Boston (2001)"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/JSAC.2003.818807","volume":"22","author":"A.D. Keromytis","year":"2004","unstructured":"Keromytis, A.D., Misra, V., Rubenstein, D.: SOS: an architecture for mitigating ddos attacks. IEEE Journal on Selected Areas in Communications\u00a022(1), 176\u2013188 (2004)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Lantz, B., Heller, B., McKeown, N.: A network in a laptop: rapid prototyping for software-defined networks. In: Proceedings of the Ninth ACM SIGCOMM Workshop on Hot Topics in Networks, Hotnets 2010, pp. 19:1\u201319:6. ACM, New York (2010)","DOI":"10.1145\/1868447.1868466"},{"issue":"6","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1490","DOI":"10.1109\/TNET.2007.897956","volume":"15","author":"P. Lee","year":"2007","unstructured":"Lee, P., Misra, V., Rubenstein, D.: Distributed algorithms for secure multipath routing in attack-resistant networks. IEEE\/ACM Transactions on Networking\u00a015(6), 1490\u20131501 (2007)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"14_CR7","unstructured":"Lou, W., Liu, W., Fang, Y.: SPREAD: enhancing data confidentiality in mobile ad hoc networks. In: IEEE INFOCOM, pp. 2404\u20132413 (2004)"},{"key":"14_CR8","unstructured":"Marina, M., Das, S.: On-demand multipath distance vector routing in ad hoc networks. In: Proceedings of IEEE International Conference on Network Protocols, ICNP, pp. 14\u201323 (2001)"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.adhoc.2006.05.020","volume":"5","author":"R. Mavropodi","year":"2007","unstructured":"Mavropodi, R., Kotzanikolaou, P., Douligeris, C.: SecMR - a secure multipath routing protocol for ad hoc networks. Ad Hoc Networks\u00a05(1), 87\u201399 (2007)","journal-title":"Ad Hoc Networks"},{"key":"14_CR10","unstructured":"OpenFlow group at Stanford University: POX Wiki (2013), \n                    \n                      https:\/\/openflow.stanford.edu\/display\/ONL\/POX+Wiki"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1355734.1355746","volume":"38","author":"N. McKeown","year":"2008","unstructured":"McKeown, N., Anderson, T., Balakrishnan, H., Parulkar, G., Peterson, L., Rexford, J., Shenker, S., Turner, J.: Openflow: enabling innovation in campus networks. ACM SIGCOMM Computer Communication Review\u00a038(2), 69\u201374 (2008)","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"14_CR12","unstructured":"Microsoft: Z3: An Efficient Theorem Prover (2012), \n                    \n                      http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3\/"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Papadimitratos, P., Haas, Z.J.: Secure routing for mobile ad hoc networks. In: SCS Communication Networks and Distributed Systems Modeling and Simulation Conference, San Antonio, TX, USA, pp. 193\u2013204 (2002)","DOI":"10.1016\/S1570-8705(03)00018-0"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Robert, C.P., Casella, G.: Monte Carlo Statistical Methods, 1st edn. Springer (1999)","DOI":"10.1007\/978-1-4757-3071-5_1"},{"issue":"11","key":"14_CR15","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1145\/359168.359176","volume":"22","author":"A. Shamir","year":"1979","unstructured":"Shamir, A.: How to share a secret. Commun. ACM\u00a022(11), 612\u2013613 (1979)","journal-title":"Commun. ACM"},{"issue":"7","key":"14_CR16","doi-asserted-by":"publisher","first-page":"941","DOI":"10.1109\/TMC.2010.36","volume":"9","author":"T. Shu","year":"2010","unstructured":"Shu, T., Krunz, M., Liu, S.: Secure data collection in wireless sensor networks using randomized dispersive routes. IEEE Transactions on Mobile Computing\u00a09(7), 941\u2013954 (2010)","journal-title":"IEEE Transactions on Mobile Computing"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/2287076.2287116","volume-title":"Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing","author":"L. Xia","year":"2012","unstructured":"Xia, L., Cui, Z., Lange, J.R., Tang, Y., Dinda, P.A., Bridges, P.G.: VNET\/P: bridging the cloud and high performance computing through fast overlay networking. In: Proceedings of the 21st international symposium on High-Performance Parallel and Distributed Computing, pp. 259\u2013270. ACM Press, New York (2012)"},{"key":"14_CR18","unstructured":"Ye, Z., Krishnamurthy, S.V., Tripathi, S.K.: A framework for reliable routing in mobile ad hoc networks. In: IEEE INFOCOM, pp. 270\u2013280 (2003)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2013"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40203-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T20:45:22Z","timestamp":1559508322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40203-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402029","9783642402036"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40203-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}