{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T08:27:03Z","timestamp":1765960023113,"version":"3.37.3"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"funder":[{"name":"French Road Operator SANEF and the laboratory IRSEEM-ESIGELEC"},{"name":"National Agency for Research and Technology","award":["2015\/1248"],"award-info":[{"award-number":["2015\/1248"]}]},{"name":"SCOOP@F project"},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/access.2019.2906046","type":"journal-article","created":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T19:49:58Z","timestamp":1553197798000},"page":"41133-41144","source":"Crossref","is-referenced-by-count":10,"title":["Formally Validated of Novel Tolling Service With the ITS-G5"],"prefix":"10.1109","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7062-667X","authenticated-orcid":false,"given":"Malalatiana","family":"Randriamasy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnane","family":"Cabani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houcine","family":"Chafouk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy","family":"Fremont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2017","key":"ref39"},{"journal-title":"AVISPA v1 1 User Manual","year":"2006","author":"team","key":"ref38"},{"journal-title":"CryptoVerif Cryptographic protocol verifier in the computational model","year":"2010","author":"blanchet","key":"ref33"},{"journal-title":"AVISPA Automated Validation of Internet Security Protocols and Applications","year":"2018","key":"ref32"},{"journal-title":"ISO\/IECInformation Technology—Security Technology Security Management Systems—Requirements","year":"2013","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSPCS.2012.6507953"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.052"},{"journal-title":"HLPSL Tutorial A Beginners Guide to Modelling and Analysing Internet Security Protocols","year":"2016","author":"team","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12459-4_13"},{"journal-title":"ProVerif Cryptographic protocol verifier in the formal model","year":"0","author":"blan","key":"ref34"},{"year":"2014","key":"ref10"},{"year":"2017","key":"ref11"},{"year":"2017","key":"ref12"},{"journal-title":"Delivrable 2 4 4 4—State of the Art of Public Key Infrastructures for Cooperative ITS","year":"2017","author":"actors","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WoWMoM.2016.7523576"},{"journal-title":"Description of ISE Project","year":"2017","author":"systemx","key":"ref15"},{"article-title":"World payment report","year":"2017","author":"bose","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2004.5342298"},{"journal-title":"Virtual Currencies and Central Banks Monetary Policy Challenges Ahead","year":"2018","author":"dabrowski","key":"ref18"},{"journal-title":"The Future of Money","year":"2017","author":"niven","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/NOF.2012.6463997"},{"year":"2013","key":"ref4"},{"key":"ref27","first-page":"7","article-title":"A review: Analysis of various attacks in VANET","volume":"3","author":"sharma","year":"2016","journal-title":"International Journal of Advanced Research in Computer Science"},{"year":"2010","key":"ref3"},{"key":"ref6","first-page":"169","article-title":"Design of ETC violation enforcement system for non-payment vehicle searching","author":"hsu","year":"2013","journal-title":"Proc 15th Int Conf Adv Commun Technol (ICACT)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.5121\/ijans.2014.4201"},{"article-title":"Motorway toll system and method for granting access of a user of a user vehicle to a motorway","year":"2018","author":"reinold","key":"ref5"},{"year":"2014","key":"ref8"},{"year":"2015","key":"ref7","article-title":"Study on ‘state of the art of electronic road tolling"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500489"},{"year":"2014","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/PIMRC.2017.8292664"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TMC.2015.2474371"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/NTMS.2015.7266520"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MedHocNet.2012.6257110"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.adhoc.2017.03.006"},{"key":"ref23","first-page":"7","article-title":"VANet security challenges and solutions: A survey","volume":"7","author":"hasrouny","year":"2017","journal-title":"Veh Commun"},{"journal-title":"Protocol and Core Functions Specification","year":"2018","key":"ref26"},{"key":"ref25","first-page":"249","article-title":"A review: Analysis of various attacks in vanet","volume":"7","author":"sharma","year":"2017","journal-title":"International Journal of Advanced Research in Computer Science"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08672558.pdf?arnumber=8672558","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T09:49:41Z","timestamp":1643276981000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8672558\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/access.2019.2906046","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2019]]}}}