{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:09:25Z","timestamp":1760659765228,"version":"build-2065373602"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T00:00:00Z","timestamp":1757289600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"publisher","award":["D.D.140914-09-2022"],"award-info":[{"award-number":["D.D.140914-09-2022"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,8]]},"DOI":"10.1109\/cns66487.2025.11194938","type":"proceedings-article","created":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:34:49Z","timestamp":1760549689000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles"],"prefix":"10.1109","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy,56100"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adriano","family":"Fagiolini","sequence":"additional","affiliation":[{"name":"University of Palermo,Department of Engineering,Palermo,Italy,90133"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Pagani","sequence":"additional","affiliation":[{"name":"University of Pisa,Department of Information Engineering,Pisa,Italy,56100"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Quadri","sequence":"additional","affiliation":[{"name":"University of Milan,Computer Science Department,Milan,Italy,20122"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Comprehensive experimental analyses of automotive attack surfaces","volume-title":"20th USENIX security symposium (USENIX Security 11)","author":"Checkoway","year":"2011"},{"key":"ref2","first-page":"22","article-title":"Overview of platooning systems","volume-title":"Proceedings of the 19th ITS World Congress","author":"Bergenhem"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2021.09.021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/2933575.2934574","article-title":"The probabilistic model checking landscape","volume-title":"Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS \u201916","author":"Katoen","year":"2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MIE.2019.2916232"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813793"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-75107-3_19"},{"article-title":"Statistical model-checking for autonomous vehicle safety validation","volume-title":"Conference SIA Simulation Num\u00e9rique","author":"Barbot","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-36096-1_2"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC60848.2023.00078"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2020.102150"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/87.852914"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"}],"event":{"name":"2025 IEEE Conference on Communications and Network Security (CNS)","start":{"date-parts":[[2025,9,8]]},"location":"Avignon, France","end":{"date-parts":[[2025,9,11]]}},"container-title":["2025 IEEE Conference on Communications and Network Security (CNS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11194903\/11194169\/11194938.pdf?arnumber=11194938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T04:48:59Z","timestamp":1760590139000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11194938\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cns66487.2025.11194938","relation":{},"subject":[],"published":{"date-parts":[[2025,9,8]]}}}