{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:49:09Z","timestamp":1730220549770,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"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":[[2023,9,12]]},"DOI":"10.1109\/etfa54631.2023.10275424","type":"proceedings-article","created":{"date-parts":[[2023,10,12]],"date-time":"2023-10-12T13:38:14Z","timestamp":1697117894000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Demonstrating the Necessity of Model Generation in Security Protocol Verification"],"prefix":"10.1109","author":[{"given":"Mariapia","family":"Raimondo","sequence":"first","affiliation":[{"name":"Univ. Della Campania “L. Vanvitelli”,Dip. di Matematica e Fisica,Caserta,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Marrone","sequence":"additional","affiliation":[{"name":"Univ. Della Campania “L. Vanvitelli”,Dip. di Matematica e Fisica,Caserta,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Bernardi","sequence":"additional","affiliation":[{"name":"Universidad de Zaragoza,Dept. de Informática e Ingeniería de Sistemas,Zaragoza,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Palladino","sequence":"additional","affiliation":[{"name":"Kineton Srl,Aerospace Business Unit,Napoli,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/s11416-022-00444-z","article-title":"An approach for the automatic verification of blockchain protocols: the tweetchain case study","volume":"19","author":"raimondo","year":"2023","journal-title":"J Comput Virol Hack Tech"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66302-9_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-02549-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-015-9299-x"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239400"},{"article-title":"Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols","year":"2022","author":"raimondo","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2014.012114.00058"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.08.006"},{"key":"ref16","article-title":"A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols","author":"chevalier","year":"2004","journal-title":"SAPS04"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45800-X_33"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/sec.1140"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3390\/s23042015"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.comnet.2016.05.007","article-title":"Authentication protocol for wireless sensor networks applications like safety monitoring in coal mines","volume":"104","author":"kumari","year":"2016","journal-title":"Computer Networks"},{"journal-title":"Secure Systems Development with UML","year":"2005","author":"j\u00fcrjens","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-014-0324-9"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134423"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106275"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-319-11653-2_10","article-title":"Who knows\/uses what of the uml: A personal opinion survey","volume":"8767","author":"reggio","year":"2014","journal-title":"Lecture Notes in Computer Science"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3408877.3432521"},{"article-title":"PlantUML","year":"0","author":"roques","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_17"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2020.04.078"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2016.05.004"}],"event":{"name":"2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2023,9,12]]},"location":"Sinaia, Romania","end":{"date-parts":[[2023,9,15]]}},"container-title":["2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10275065\/10275329\/10275424.pdf?arnumber=10275424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T14:44:25Z","timestamp":1698677065000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10275424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,12]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa54631.2023.10275424","relation":{},"subject":[],"published":{"date-parts":[[2023,9,12]]}}}