{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:29Z","timestamp":1762459949253,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,16]],"date-time":"2020-12-16T00:00:00Z","timestamp":1608076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100009917","name":"NRL","doi-asserted-by":"publisher","award":["N0017317-1-G002"],"award-info":[{"award-number":["N0017317-1-G002"]}],"id":[{"id":"10.13039\/100009917","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"publisher","award":["303909\/2018-8"],"award-info":[{"award-number":["303909\/2018-8"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"ONR","doi-asserted-by":"publisher","award":["N00014-15-1-2202,N00014-20-1-2644"],"award-info":[{"award-number":["N00014-15-1-2202,N00014-20-1-2644"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009917","name":"NRL","doi-asserted-by":"publisher","award":["N0017317-1-G002"],"award-info":[{"award-number":["N0017317-1-G002"]}],"id":[{"id":"10.13039\/100009917","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,16]]},"DOI":"10.1109\/vnc51378.2020.9318334","type":"proceedings-article","created":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T21:09:27Z","timestamp":1611176967000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control"],"prefix":"10.1109","author":[{"given":"Yuri Gil","family":"Dantas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carolyn","family":"Talcott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.05.006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-0560"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3390\/s19245493"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61042-1_43"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45892-2_5"},{"key":"ref15","first-page":"406","article-title":"A framework for analyzing adaptive autonomous aerial vehicles","author":"mason","year":"2017","journal-title":"sefm"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45741-3_23"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2019.8869428"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2010.100608"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34096-8_1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2015.7120028"},{"year":"2020","author":"dantas","key":"ref6"},{"journal-title":"All About Maude A High-Performance Logical Framework volume 4350 of LNCS","year":"2007","author":"clavel","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00037"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"journal-title":"Automated driving and platooning issues and opportunities white paper","year":"2015","key":"ref2"},{"journal-title":"AF3 - AutoFOCUS 3 More information at","year":"0","key":"ref1"},{"key":"ref9","first-page":"1","article-title":"Detecting Injection Attacks on Cooperative Adaptive Cruise Control","author":"iorio","year":"0","journal-title":"2019 IEEE Vehicular Networking Conference VNC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-15545-6_18"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/VNC.2017.8275598"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2700021"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2009.090202"}],"event":{"name":"2020 IEEE Vehicular Networking Conference (VNC)","start":{"date-parts":[[2020,12,16]]},"location":"New York, NY, USA","end":{"date-parts":[[2020,12,18]]}},"container-title":["2020 IEEE Vehicular Networking Conference (VNC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9318239\/9318323\/09318334.pdf?arnumber=9318334","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,30]],"date-time":"2022-06-30T15:16:03Z","timestamp":1656602163000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9318334\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,16]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/vnc51378.2020.9318334","relation":{},"subject":[],"published":{"date-parts":[[2020,12,16]]}}}