{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T07:56:00Z","timestamp":1770450960327,"version":"3.49.0"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2017]]},"DOI":"10.1109\/access.2017.2772787","type":"journal-article","created":{"date-parts":[[2017,11,13]],"date-time":"2017-11-13T14:13:23Z","timestamp":1510582403000},"page":"27740-27756","source":"Crossref","is-referenced-by-count":20,"title":["A Study on Formal Methods to Generalize Heterogeneous Mobile Malware Propagation and Their Impacts"],"prefix":"10.1109","volume":"5","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0487-0615","authenticated-orcid":false,"given":"Arash","family":"Mahboubi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seyit","family":"Camtepe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasmukh","family":"Morarji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2011.5986383"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2012.29"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2007.121"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2006.06.126"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.11.021"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.epidem.2014.05.002"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1080793.1080806"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAET.2010.029592"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.physa.2008.09.017"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2008.129"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0040-5809(03)00104-7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0025-5564(99)00047-4"},{"key":"ref29","first-page":"81","author":"allen","year":"2008","journal-title":"An Introduction to Stochastic Epidemic Models"},{"key":"ref2","first-page":"149","article-title":"How to own the internet in your spare time","author":"staniford","year":"2002","journal-title":"Proc 11th Usenix Sec Symp"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1162\/artl.1994.1.3.249"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0025-5564(94)90025-6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1927.0118"},{"key":"ref21","volume":"28","author":"anderson","year":"1992","journal-title":"Infectious Diseases of Humans Dynamics and Control"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2005.853425"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-1686-9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0218339005001604"},{"key":"ref25","first-page":"623","article-title":"Modeling malware propagation in wireless sensor networks using cellular automata","author":"song","year":"2008","journal-title":"Proc Int Conf Neural Netw Signal Process"},{"key":"ref50","first-page":"1","article-title":"Worm propagation modeling based on two-factor model","author":"fei","year":"2009","journal-title":"Proc 5th Int Conf Wireless Commun Netw Mobile Comput (WiCom)"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2013.2290431"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/j.diin.2006.06.015"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/380752.380883"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77048-0_34"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2012.120104"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/BWCCA.2010.85"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-21726-5_2","article-title":"Understanding human smartphone concerns a study of battery life","author":"ferreira","year":"2011","journal-title":"Pervasive Computing"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2014.04.006"},{"key":"ref11","author":"dunham","year":"2008","journal-title":"Mobile Malware Attacks and Defense"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/LCOMM.2010.01.100830"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S1005-8885(08)60085-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1314389.1314402"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2009.5652"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2011.77"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2006.18"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1179542.1179545"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SECCOMW.2006.359562"},{"key":"ref19","article-title":"On stochastic models for the spread of infections","author":"trapman","year":"2006"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2014.6999418"},{"key":"ref3","first-page":"26","author":"serazzi","year":"2004","journal-title":"Computer virus propagation models"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.16"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2015.26"},{"key":"ref8","article-title":"Computer viruses","author":"cohen","year":"1986"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0167-4048(87)90122-2"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2013.070813.00214"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1378600.1378627"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-59749-553-0.00007-X"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICOS.2011.6079294"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref47","author":"nohl","year":"2014","journal-title":"BadUSB – On Accessories that Turn Evil"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/WICOM.2010.5601326"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2007.312"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/WiMOB.2012.6379111"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2012.11.007"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/7859429\/08105807.pdf?arnumber=8105807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:30:10Z","timestamp":1641987010000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8105807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/access.2017.2772787","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}