{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T02:02:54Z","timestamp":1778551374248,"version":"3.51.4"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,14]],"date-time":"2024-10-14T00:00:00Z","timestamp":1728864000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,10,14]]},"DOI":"10.1109\/iros58592.2024.10802507","type":"proceedings-article","created":{"date-parts":[[2024,12,25]],"date-time":"2024-12-25T19:17:39Z","timestamp":1735154259000},"page":"3627-3634","source":"Crossref","is-referenced-by-count":3,"title":["Automating ROS2 Security Policies Extraction through Static Analysis"],"prefix":"10.1109","author":[{"given":"Giacomo","family":"Zanatta","sequence":"first","affiliation":[{"name":"Ca’ Foscari University of Venice,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Caiazza","sequence":"additional","affiliation":[{"name":"Ca’ Foscari University of Venice,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Ferrara","sequence":"additional","affiliation":[{"name":"Ca’ Foscari University of Venice,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Negrini","sequence":"additional","affiliation":[{"name":"Ca’ Foscari University of Venice,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruffin","family":"White","sequence":"additional","affiliation":[{"name":"White Robotics"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Robot hazards: from safety to security","author":"Kirschgens","year":"2018","journal-title":"CoRR"},{"key":"ref2","article-title":"Robot cybersecurity, a review","volume":"0","author":"Mayoral-Vilches","year":"2022","journal-title":"International Journal of Cyber Forensics and Advanced Threat Investigations"},{"issue":"2","key":"ref3","first-page":"5","article-title":"Ros: an open-source robot operating system","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"key":"ref5","article-title":"Robot cybersecurity, a review","author":"Mayoral-Vilches","year":"2022","journal-title":"International Journal of Cyber Forensics and Advanced Threat Investigations"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759659"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.36288\/roscon2016-900213"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-13-3702-4_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9982129"},{"key":"ref10","volume-title":"ROS2 core team. 2023-09 ros 2 rmw alternate"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3678721.3686229"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-19-9601-6_2"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3460946.3464316"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2218"},{"key":"ref17","article-title":"Program Analysis and Specialization for the C Programming Language","volume-title":"PhD thesis","author":"Andersen","year":"1994"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63618-0_1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.11.005"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM51674.2020.00026"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RoSE52553.2021.00013"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759661"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556970"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.371.15"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63486-5_40"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11900-7_18"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICNEWS.2018.8903954"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2022.104361"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560681"},{"key":"ref32","volume-title":"Design node interface definition language (idl)"}],"event":{"name":"2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Abu Dhabi, United Arab Emirates","start":{"date-parts":[[2024,10,14]]},"end":{"date-parts":[[2024,10,18]]}},"container-title":["2024 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10801246\/10801290\/10802507.pdf?arnumber=10802507","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,26]],"date-time":"2024-12-26T07:25:54Z","timestamp":1735197954000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10802507\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,14]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/iros58592.2024.10802507","relation":{},"subject":[],"published":{"date-parts":[[2024,10,14]]}}}