{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T15:33:08Z","timestamp":1766503988144,"version":"3.37.3"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100016311","name":"Arm","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100016311","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10156520","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"3415-3421","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of Proactive Sensor Placement In Probabilistic Attack Graphs"],"prefix":"10.23919","author":[{"given":"Lening","family":"Li","sequence":"first","affiliation":[{"name":"Worcester Polytechnic Institute,Department of Robotics Engineering,Worcester,MA,USA,01609"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoxiang","family":"Ma","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical & Computer Engineering,Gainesville,FL,USA,32611"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuo","family":"Han","sequence":"additional","affiliation":[{"name":"University of Illinois at Chicago,Department of Electrical & Computer Engineering,Chicago,IL,USA,60607"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Fu","sequence":"additional","affiliation":[{"name":"University of Florida,Department of Electrical & Computer Engineering,Gainesville,FL,USA,32611"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/2808475.2808482"},{"key":"ref12","first-page":"1","article-title":"Attack Graph-based Moving Target Defense in SoftwareDefined Networks","author":"yoon","year":"2020","journal-title":"IEEE Transactions on Network and Service Management"},{"key":"ref15","first-page":"199","article-title":"Optimal interdiction of attack plans","author":"letchford","year":"2013","journal-title":"Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/COMPSAC.2008.88"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1287\/opre.51.6.850.24925"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1155\/2018\/2864873"},{"year":"0","article-title":"CVSS v3.1 Specification Document","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-030-01554-1_19"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1137\/1.9780898717730"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-3-319-32699-3"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/2663474.2663479"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/CSFW.2002.1021806"},{"key":"ref16","first-page":"1","article-title":"Graphical modeling of security arguments: current state and future directions","author":"ionita","year":"2017","journal-title":"International workshop on Graphical Models for Security"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1137\/0913069"},{"year":"2014","author":"puterman","journal-title":"Markov Decision Processes Discrete Stochastic Dynamic Programming","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/2660267.2660329"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TDSC.2015.2443790"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.24963\/ijcai.2018\/775"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ACSAC.2008.15"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/CSFW.2002.1021806"},{"key":"ref6","first-page":"310","article-title":"Random host mutation for moving target defense","author":"al-shaer","year":"2012","journal-title":"International Conference on Security and Privacy in Communication Systems"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/3338468.3356830"}],"event":{"name":"2023 American Control Conference (ACC)","start":{"date-parts":[[2023,5,31]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10156520.pdf?arnumber=10156520","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T19:01:28Z","timestamp":1702321288000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10156520\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10156520","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}