{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:44:33Z","timestamp":1748583873198,"version":"3.37.3"},"reference-count":76,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1223834"],"award-info":[{"award-number":["CNS-1223834"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/tnet.2016.2520474","type":"journal-article","created":{"date-parts":[[2016,2,8]],"date-time":"2016-02-08T19:10:30Z","timestamp":1454958630000},"page":"3369-3382","source":"Crossref","is-referenced-by-count":3,"title":["Automated Adversarial Testing of Unmodified Wireless Routing Implementations"],"prefix":"10.1109","volume":"24","author":[{"given":"Endadul","family":"Hoque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyojeong","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rahul","family":"Potharaju","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Killian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristina","family":"Nita-Rotaru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.39"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"ref71","first-page":"155","article-title":"Model checking large network protocol implementations","author":"musuvathi","year":"2004","journal-title":"Proc NSDI"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1145\/1060289.1060297"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/956993.957007"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1145\/2063509.2063511"},{"journal-title":"?Grid project ?","year":"2003","key":"ref39"},{"key":"ref75","article-title":"Fate and destini: A framework for cloud recovery testing","author":"gunawi","year":"2011","journal-title":"Proc NSDI"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/354871.354874"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2007.4428721"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/345910.345953"},{"key":"ref31","doi-asserted-by":"crossref","DOI":"10.21236\/ADA180187","author":"finn","year":"1987","journal-title":"?Routing and addressing problems in large metropolitan-scale Internetworks ?"},{"journal-title":"?Network Simulator 3 ?","year":"0","key":"ref30"},{"journal-title":"The grid roofnet A rooftop ad hoc wireless network","year":"2002","author":"chambers","key":"ref37"},{"journal-title":"?ORBIT ?","year":"2014","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1137975.1137979"},{"journal-title":"?Emulab?Network emulation testbed ?","year":"0","key":"ref34"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3626"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"journal-title":"?Olsrd source package in Debian ?","year":"2012","key":"ref61"},{"journal-title":"Symbolic Model Checking An Approach to the State Explosion Problem","year":"1992","author":"mcmillan","key":"ref63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2014.73"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276232"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2043164.2018440"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.036"},{"journal-title":"Formal Methods for Open Object-Based Distributed Systems","year":"2005","author":"chiyangwa","key":"ref66"},{"key":"ref29","article-title":"Virtualization with KVM","author":"habib","year":"2008","journal-title":"Linux J"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/581771.581775"},{"journal-title":"Model Checking Software","year":"2003","author":"zakiuddin","key":"ref68"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/190809.190336"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2462096.2462120"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016726711167"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1163610.1163613"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOT.2004.1348176"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2010.2095038"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1023663.1023703"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250755"},{"key":"ref25","article-title":"Gatling: Automatic attack discovery in large-scale distributed systems","author":"lee","year":"2012","journal-title":"Proc NDSS"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2004.842547"},{"journal-title":"?ASL ?","year":"2013","key":"ref51"},{"journal-title":"Implementing a Secure Ad Hoc Network","year":"2011","author":"graarud","key":"ref59"},{"journal-title":"Information and Communications Security","year":"2004","author":"wan","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-8705(03)00019-2"},{"key":"ref56","article-title":"Securing the OLSR protocol","author":"adjih","year":"2003","journal-title":"Proc IFIP Med-hoc-net"},{"key":"ref55","article-title":"Attacks against OLSR: Distributed key management for security","author":"adjih","year":"2005","journal-title":"Proc 2nd OLSR Interop\/Workshop"},{"journal-title":"?Securing OLSR problem statement ?","year":"2005","author":"clausen","key":"ref54"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1002\/sec.60"},{"journal-title":"?OpenSSL toolkit ?","year":"2016","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.2002.1181388"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11276-004-4744-y"},{"key":"ref40","article-title":"Can you fool me? Towards automatically checking protocol gullibility","author":"stanojevic","year":"2008","journal-title":"Proc HOTNETS"},{"journal-title":"?AODV-UU ?","year":"2013","key":"ref12"},{"journal-title":"?OLSRD ?","year":"2015","key":"ref13"},{"journal-title":"?ARAN ?","year":"2012","key":"ref14"},{"journal-title":"?Click modular router ?","year":"2014","key":"ref15"},{"journal-title":"?Batman-adv ?","year":"2014","key":"ref16"},{"key":"ref17","first-page":"1177","article-title":"Formal verification of ad-hoc routing protocols using spin model checker","author":"de renesse","year":"2004","journal-title":"Proc IEEE MELECON"},{"journal-title":"?Network Simulator 2 ?","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/278009.278027"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MCSA.1999.749281"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/INMIC.2001.995315"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC.1999.796997"},{"journal-title":"Mobile Computing","year":"1996","author":"johnson","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/570681.570682"},{"journal-title":"?Better Approach to Mobile Ad-Hoc Networking (B A T M A N ) ?","year":"2008","author":"neumann","key":"ref7"},{"journal-title":"?Understanding and programming with Netlink sockets ?","year":"2004","author":"horman","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1284680.1341892"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2010.8630"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5935230"},{"journal-title":"?Netfilter ?","year":"2014","key":"ref48"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3561"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1119759.1119762"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2015.22"},{"journal-title":"?iperf ?","year":"2015","key":"ref44"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2012.11.003"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/90\/7784860\/07401140.pdf?arnumber=7401140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:12:36Z","timestamp":1642003956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7401140\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":76,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tnet.2016.2520474","relation":{},"ISSN":["1063-6692","1558-2566"],"issn-type":[{"type":"print","value":"1063-6692"},{"type":"electronic","value":"1558-2566"}],"subject":[],"published":{"date-parts":[[2016,12]]}}}