{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:00:23Z","timestamp":1771700423940,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"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":[[2021,6]]},"DOI":"10.1109\/iccworkshops50388.2021.9473591","type":"proceedings-article","created":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T20:08:20Z","timestamp":1625861300000},"page":"1-6","source":"Crossref","is-referenced-by-count":20,"title":["A Verified Protocol for Secure Autonomous and Cooperative Public Transportation in Smart Cities"],"prefix":"10.1109","author":[{"given":"Hussam","family":"Al-Hamadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nida","family":"Nasir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chan Yeob","family":"Yeun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/VTCSpring.2016.7504113"},{"key":"ref11","first-page":"149","article-title":"Study of different types of attacks on multicast in mobile ad hoc networks","author":"nguyen","year":"2006","journal-title":"International Conference on Networking International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL’06)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2020.2997651"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2940872"},{"key":"ref14","author":"bruno blanchet","year":"0","journal-title":"1 97 Automatic cryptographic protocol verifier user manual and tutorial"},{"key":"ref15","first-page":"578","article-title":"Formal modeling and verification of dlk protocol","author":"al-hamadi","year":"2011","journal-title":"2011 International Conference for Internet Technology and Secured Transactions ICITST"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCW.2017.7962835"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-017-4147-x"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.20533\/ijisr.2042.4639.2013.0031"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2705076"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2017.2670018"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569947"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCOMSTD.001.1900044"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2008.ECP.34"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2019.01.019"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2873088"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2949915"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SCIS-ISIS.2014.7044637"}],"event":{"name":"2021 IEEE International Conference on Communications Workshops (ICC Workshops)","location":"Montreal, QC, Canada","start":{"date-parts":[[2021,6,14]]},"end":{"date-parts":[[2021,6,23]]}},"container-title":["2021 IEEE International Conference on Communications Workshops (ICC Workshops)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473476\/9473480\/09473591.pdf?arnumber=9473591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:43:04Z","timestamp":1652197384000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9473591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccworkshops50388.2021.9473591","relation":{},"subject":[],"published":{"date-parts":[[2021,6]]}}}