{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:23:28Z","timestamp":1745987008668,"version":"3.40.4"},"reference-count":18,"publisher":"Tech Science Press","issue":"8","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Intelligent Automation & Soft Computing"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1080\/10798587.2011.10643209","type":"journal-article","created":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T08:01:09Z","timestamp":1362211269000},"page":"1035-1047","source":"Crossref","is-referenced-by-count":6,"title":["Formal Threat Analysis for Ad-Hoc Routing Protocol: Modelling and Checking the Sybil Attack"],"prefix":"10.32604","volume":"17","author":[{"given":"Gui","family":"Jing-Jing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Jin-Shuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhang","family":"Yu-Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhang","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"17807","reference":[{"key":"CIT0001","unstructured":"F. Javier, Jonathan C. Herzog, Joshua D. Guttman, \u201cStrand Spaces: Why is a Security Protocol Correct\u201d, 1998 IEEE Symposium on Security and Privacy, Oakland, California, 1998."},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Dawn Song, Sergey Berezin, and Adrian Perrig, \u201cAthena: a novel approach to efficient automatic security protocol analysis\u201d,Journal of Computer Security, 9:47\u201374, 2001.","DOI":"10.3233\/JCS-2001-91-203"},{"key":"CIT0003","doi-asserted-by":"crossref","unstructured":"John R. Douceur, \u201cThe Sybil attack\u201d, In 1st International Workshop on Peer-to-Peer Systems, 2002.","DOI":"10.1007\/3-540-45748-8_24"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Papadimitratos P, and Haas Z, \u201cSecure Routing for Mobile Ad Hoc Networks\u201d, In: Proceedings of SCS Communication Networks and Distributed Systems (CLADS 2002), San Antonio, TX, 2002.","DOI":"10.1201\/9781420040401.ch31"},{"key":"CIT0005","unstructured":"J. Marshall, \u201cAn Analysis of the Secure Routing Protocol for Mobile Ad Hoc Network Route Discovery: Using Intuitive Reasoning and Formal Verification to Identify Flaws\u201d, Florida: MSc thesis, Department of Computer Science, Florida State University. April 2003."},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"S. Yang, and J. Baras, \u201cModeling vulnerabilities of ad hoc routing protocols\u201d, In Proceedings of the ACM Workshop, on Security of Ad Hoc and Sensor Networks, 2003.","DOI":"10.1145\/986858.986861"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"C. Karlof, and D. Wagner, \u201cSecure routing in wireless sensor networks: Attacks and countermeasures\u201d, In First IEEE International Workshop on Sensor Network Protocols and Applications, pages 113\u2013127, 2003.","DOI":"10.1109\/SNPA.2003.1203362"},{"key":"CIT0008","doi-asserted-by":"crossref","unstructured":"James Newsome, Elaine Shi, Dawn Song, and Adrian Perrig, \u201cThe Sybil Attack in Sensor Networks: Analysis & Defenses\u201d, Information Processing in Sensor Networks. 2004.","DOI":"10.1145\/984622.984660"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Sanzgiri K, LaFlamme D, and Bridget Dahil, \u201cAuthenticated Routing for Ad hoc Networks\u201d, IEEE Journal on Selected Areas in Communications. 3(23), 598\u2013610, 2005.","DOI":"10.1109\/JSAC.2004.842547"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Gergely \u00c1cs, Levente Butty\u00e1n, and Istv\u00e1n Vajda, \u201cProvably Secure On-demand Source Routing in Mobile Ad Hoc Networks\u201d, IEEE transactions on Mobile Computing. 5(11) :1533\u20131546, 2006.","DOI":"10.1109\/TMC.2006.170"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"Sebastian Nanz, and Chris Hankin, \u201cA Framework for Security Analysis of Mobile Wireless Networks\u201d,Computer Science, 367: 203\u2013227, 2006.","DOI":"10.1016\/j.tcs.2006.08.036"},{"key":"CIT0012","unstructured":"Todd R. Andel, \u201cCan Ad Hoc Routing Protocols be Shown Provably Secure?\u201d, http:\/\/www.cs.fsu.edu\/`todd\/1375.pdf, 2006."},{"key":"CIT0013","unstructured":"Mike Burmester, and Breno de Medeiros, \u201cTowards provable security for route discovery protocols in mobile ad hoc networks\u201d, http:\/\/www.cs.fsu.edu\/`burmeste\/324.pdf, 2007."},{"key":"CIT0014","unstructured":"LIU J ing, FU Fei, and XIAO Junmo, \u201cSecurity Analysis of Secure Routing Protocols for Ad-Hoc Networks Based on Improved Meadows Model\u201d,Journal of Applied Sciences, 26(3): 250\u2013256, 2008."},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"T.R. Andel, and A Yasinsac, \u201cAdaptive Threat Modeling for Secure Ad Hoc Routing Protocols\u201d, Electronic Notes inTheoretical Computer Science, (197):3\u201314, 2008.","DOI":"10.1016\/j.entcs.2007.12.013"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Sanjay Madria, and Jian Yin, \u201cSeRWA: A secure routing protocol against wormhole attacks in sensor networks\u201d,Ad Hoc Networks, (7):1051\u20131063, 2009.","DOI":"10.1016\/j.adhoc.2008.09.005"},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"JI Qing-Guang, QING Si-Han, and FENG Deng-Guo, \u201cStudy on strand space model theory\u201d,Journal of Computer Science and Technology, 18(5): 553\u2013570, 2003.","DOI":"10.1007\/BF02947115"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Hu. Y.C., A. Perrig, and D.B. Johnson, \u201cAriadne: A Secure On-Demand Routing Protocol for Ad hoc Networks\u201d, MobiCom2002, Atlanta, Georgia, USA, 2002.","DOI":"10.1145\/570645.570648"}],"container-title":["Intelligent Automation & Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/autosoftjournal.net\/viewPaper.php?paper=10643209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:50:29Z","timestamp":1745967029000},"score":1,"resource":{"primary":{"URL":"http:\/\/autosoftjournal.net\/paperShow.php?paper=10643209"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":18,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.1080\/10798587.2011.10643209"],"URL":"https:\/\/doi.org\/10.1080\/10798587.2011.10643209","relation":{},"ISSN":["1079-8587","2326-005X"],"issn-type":[{"type":"print","value":"1079-8587"},{"type":"electronic","value":"2326-005X"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}