{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T21:07:04Z","timestamp":1791061624733,"version":"4.1.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/wmnc.2010.5678752","type":"proceedings-article","created":{"date-parts":[[2011,1,3]],"date-time":"2011-01-03T15:49:18Z","timestamp":1294069758000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["Formal verification of secure ad-hoc network routing protocols using deductive model-checking"],"prefix":"10.1109","author":[{"given":"Levente","family":"Buttyan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ta Vinh","family":"Thong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72794-1_8"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MSP.2004.1","article-title":"A survey of secure wireless ad hoc routing","volume":"2","author":"hu","year":"2004","journal-title":"IEEE Security and Privacy"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-29603-6_5"},{"key":"ref13","article-title":"Secure routing for mobile ad hoc networks","author":"papadimitratos","year":"2002","journal-title":"Networks and Distributed Systems Modeling and Simulation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.008"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2007.4428765"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2006.170"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301317"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-85114-1_5","article-title":"Automated evaluation of secure route discovery in manet protocols","author":"andel","year":"2008","journal-title":"Proc 15th Int'l SPIN Workshop Model Checking Software"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1029102.1029119"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WMNC.2010.5678752"},{"key":"ref2","first-page":"113","article-title":"Provable security of on-demand distance vector routing in wireless ad hoc networks","author":"acs","year":"2005","journal-title":"In In Proceedings of the Second European Workshop on Security and Privacy in Ad Hoc and Sensor Networks (ESAS 2005"},{"key":"ref1","author":"abadi","year":"1998","journal-title":"A calculus for cryptographic protocols The spi calculus"},{"key":"ref9","author":"fournet","year":"2001","journal-title":"Mobile Values New Names and Secure Communication"}],"event":{"name":"2010 Third Joint IFIP Wireless and Mobile Networking Conference (WMNC)","location":"Budapest, Hungary","start":{"date-parts":[[2010,10,13]]},"end":{"date-parts":[[2010,10,15]]}},"container-title":["WMNC2010"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5672646\/5678739\/05678752.pdf?arnumber=5678752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T10:08:30Z","timestamp":1559902110000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5678752\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/wmnc.2010.5678752","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}