{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:21:17Z","timestamp":1740169277797,"version":"3.37.3"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Idaho Global Entrepreneurial Mission (IGEM) Grant for Security Management of Cyber-Physical Control Systems, in 2016","award":["IGEM17-001"],"award-info":[{"award-number":["IGEM17-001"]}]},{"DOI":"10.13039\/100000001","name":"U.S. National Science Foundation (NSF) CyberCorps\u00ae Award","doi-asserted-by":"publisher","award":["1565572"],"award-info":[{"award-number":["1565572"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"M. J. Murdock Foundation"},{"DOI":"10.13039\/100012326","name":"University of Idaho Open Access Publishing Fund","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012326","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3197195","type":"journal-article","created":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T19:50:29Z","timestamp":1659988229000},"page":"83755-83792","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Model and Verification for HESTIA: An Automated, Adversary-Aware Risk Assessment Process for Cyber Infrastructure"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0089-8263","authenticated-orcid":false,"given":"Ananth A.","family":"Jillepalli","sequence":"first","affiliation":[{"name":"School of Electrical Engineering and Computer Science, Washington State University, Pullman, WA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9857-3370","authenticated-orcid":false,"given":"Daniel Conte","family":"De Leon","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Idaho, Moscow, ID, USA"}]},{"given":"Jim","family":"Alves-Foss","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Idaho, Moscow, ID, USA"}]},{"given":"Clinton L.","family":"Jeffery","sequence":"additional","affiliation":[{"name":"Department of Computer Science, New Mexico Institute of Mining and Technology, Socorro, NM, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1241-2750","authenticated-orcid":false,"given":"Frederick T.","family":"Sheldon","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Idaho, Moscow, ID, USA"}]}],"member":"263","reference":[{"volume-title":"Cybercrime to Cost the World $10.5 Trillion Annually by 2025","year":"2021","author":"Morgan","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2512235"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1504\/IJITCA.2018.092478"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2018.8450297"},{"year":"2018","key":"ref5","article-title":"Form and style for ASTM standards"},{"article-title":"Formalizing the HESTIA process: Checking consistency and conflicts","volume-title":"2019 3rd IEEE Texas Power Energy Conf. (TPEC)","author":"Ananth Jillepalli","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI.2016.7849914"},{"article-title":"A semantic least privilege and semi-automated approach to preventing cyber attacks on web applications","year":"2018","author":"Steiner","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2018.8659367"},{"volume-title":"Comparison of Programming Languages (Strings)","year":"2020","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IConAC.2014.6935460"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.37"},{"volume-title":"Making Security Measurable","year":"2013","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7045410"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2769099"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.2013.6831172"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2017.2703842"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2014.2357182"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2015.2503736"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2016.2632723"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MALWARE.2017.8323960"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IWCMC.2017.7986568"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"volume-title":"The Z Notation: A Reference Manual","year":"1992","author":"Spivey","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1504\/IJWMC.2015.066756"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tej.2017.04.001"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.2307\/2974556"},{"article-title":"Formal proof: Understanding, writing and evaluating proofs","year":"2015","author":"Jim\u00e9nez","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CPRE.2017.8090056"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/9668973\/9852217-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09852217.pdf?arnumber=9852217","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T04:30:48Z","timestamp":1709353848000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9852217\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3197195","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}