{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T15:42:50Z","timestamp":1779291770977,"version":"3.51.4"},"reference-count":38,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T00:00:00Z","timestamp":1563408000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Int J Communication"],"published-print":{"date-parts":[[2020,7,10]]},"abstract":"<jats:title>Summary<\/jats:title><jats:p>Privacy in Vehicular Ad Hoc Networks (VANET) is fundamental because the user's safety may be threatened by the identity and the real\u2010time spatiotemporal data exchanged on the network. This issue is commonly addressed by the use of certified temporal pseudonyms and their updating strategies to ensure the user's unlinkability and anonymity. IEEE 1609.2 Standard specified the process of certifying pseudonym along with certificates structure. However, the communication procedure between the certifying authority and the requesting vehicle was not defined. In this paper, a new privacy\u2010preserving solution for pseudonym on\u2010road on\u2010demand refilling is proposed where the vehicle anonymously authenticates itself to the regional authority subsidiary of the central trusted authority to request a new pseudonyms pool. The authentication method has two phases, the first one uses anonymous tickets, and the second one is a challenge\u2010based authentication. The anonymous tickets are certificates that do not include the identity of the user. Instead, it contains a reference number and the certifying authority signature. The challenge authentication is identity\u2010less to preserve the privacy, yet it is used to prevent the misuse of tickets and the impersonation of its owner. Our proposed scheme is analyzed by the use of Burrows, Abadi and Needham (BAN) logic to demonstrate its correctness. It is also specified and checked by using the Security Protocol ANimator (SPAN) and the Automated Validation of Internet Security Protocols and Applications (AVISPA) tools. The logical demonstration proved that this privacy\u2010preserving authentication is assured. The SPAN and AVISPA tools illustrated that it is resilient to security attacks.<\/jats:p>","DOI":"10.1002\/dac.4087","type":"journal-article","created":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T12:13:41Z","timestamp":1563452021000},"update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Privacy\u2010preserving authentication scheme for on\u2010road on\u2010demand refilling of pseudonym in VANET"],"prefix":"10.1002","volume":"33","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0003-0312-3922","authenticated-orcid":false,"given":"Leila","family":"Benarous","sequence":"first","affiliation":[{"name":"STIC Laboratory, Department of Computer Science, Faculty of Science University of Abou Bekr Belkaid  Tlemcen Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benamar","family":"Kadri","sequence":"additional","affiliation":[{"name":"STIC Laboratory, Department of Telecommunications, Faculty of Technology University of Abou Bekr Belkaid  Tlemcen Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salim","family":"Bitam","sequence":"additional","affiliation":[{"name":"LESIA Laboratory, Department of Computer Science University of Biskra  Biskra Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0002-6886-7394","authenticated-orcid":false,"given":"Abdelhamid","family":"Mellouk","sequence":"additional","affiliation":[{"name":"LISSI Laboratory, Department of Networks and Telecom University of Paris\u2010Est de Cr\u00e9teil  Cr\u00e9teil France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2019,7,18]]},"reference":[{"key":"e_1_2_7_2_1","doi-asserted-by":"crossref","unstructured":"BenaissaK MelloukA BitamS.Efficient messages broadcasting within vehicular safety applications. In Personal Indoor and Mobile Radio Communications (PIMRC) 2017 IEEE 28th Annual International Symposium pp.1\u20105.","DOI":"10.1109\/PIMRC.2017.8292565"},{"key":"e_1_2_7_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2015.7054724"},{"key":"e_1_2_7_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2017.2763185"},{"key":"e_1_2_7_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47301-7_15"},{"key":"e_1_2_7_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/1321160"},{"key":"e_1_2_7_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2014.2345420"},{"key":"e_1_2_7_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25243-3_10"},{"key":"e_1_2_7_9_1","unstructured":"EmaraK.Safety\u2010aware location privacy in vehicular ad\u2010hoc networks PhD Thesis. M\u00fcnchen University M\u00fcnchen Germany 2016."},{"key":"e_1_2_7_10_1","doi-asserted-by":"crossref","unstructured":"MaZ KarglF WeberM.Pseudonym\u2010on\u2010demand: a new pseudonym refill strategy for vehicular communications. In Vehicular Technology Conference 2008. VTC 2008\u2010Fall. IEEE 68th (pp. 1\u20105). IEEE","DOI":"10.1109\/VETECF.2008.455"},{"key":"e_1_2_7_11_1","doi-asserted-by":"crossref","unstructured":"BeninJ NowatkowskiM OwenH.Unified pseudonym distribution in VANETs. In IEEE 6th International Conference on Wireless and Mobile Computing Networking and Communications.2010 October. (pp.529\u2010533).","DOI":"10.1109\/WIMOB.2010.5645015"},{"key":"e_1_2_7_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2011.6069719"},{"key":"e_1_2_7_13_1","unstructured":"BoualouacheA.Security and privacy in vehicular networks PhD thesis USTHB Algiers Algeria.2016."},{"key":"e_1_2_7_14_1","doi-asserted-by":"crossref","unstructured":"KhodaeiM PapadimitratosP.Evaluating on\u2010demand pseudonym acquisition policies in vehicular communication systems. In Proceedings of the First International Workshop on Internet of Vehicles and Vehicles of Internet2016 July. pp. 7\u201012. ACM.","DOI":"10.1145\/2938681.2938684"},{"key":"e_1_2_7_15_1","doi-asserted-by":"crossref","unstructured":"AlexiouN Lagan\u00e0M GisdakisS KhodaeiM PapadimitratosP.Vespa: Vehicular security and privacy\u2010preserving architecture. In Proceedings of the 2nd ACM Workshop on Hot Topics on Wireless Network Security and Privacy.2013 April. pp. 19\u201024. ACM.","DOI":"10.1145\/2463183.2463189"},{"key":"e_1_2_7_16_1","doi-asserted-by":"crossref","unstructured":"SchaubF KarglF MaZ WeberM.V\u2010tokens for conditional pseudonymity in VANETs. In WCNC.2010 April. pp.1\u20106.","DOI":"10.1109\/WCNC.2010.5506126"},{"key":"e_1_2_7_17_1","doi-asserted-by":"crossref","unstructured":"KhodaeiM JinH PapadimitratosP.Towards deploying a scalable & robust vehicular identity and credential management infrastructure. In Vehicular Networking Conference (VNC) 2014. pp.33\u201040. IEEE.","DOI":"10.1109\/VNC.2014.7013306"},{"key":"e_1_2_7_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2841972"},{"key":"e_1_2_7_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2832849"},{"key":"e_1_2_7_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00015-8_61"},{"key":"e_1_2_7_21_1","doi-asserted-by":"crossref","unstructured":"YueX ChenB WangX DuanY GaoM HeY.An efficient and secure anonymous authentication scheme for VANETs based on the framework of group signatures. IEEE Access 2018.","DOI":"10.1109\/ACCESS.2018.2876126"},{"key":"e_1_2_7_22_1","first-page":"481","volume-title":"International Conference on Broadband and Wireless Computing, Communication and Applications","author":"Gao T","year":"2018"},{"key":"e_1_2_7_23_1","doi-asserted-by":"crossref","unstructured":"LiuJ LiQ SunR DuX GuizaniM.An efficient anonymous authentication scheme for internet of vehicles. In 2018 IEEE International Conference on Communications (ICC) pp.1\u20106. IEEE.","DOI":"10.1109\/ICC.2018.8422447"},{"key":"e_1_2_7_24_1","doi-asserted-by":"crossref","unstructured":"BenarousL KadriB.Privacy preserving scheme for pseudonym refilling in VANET. In the 7th IEEE International Conference on Smart Communications in Network Technologies (SACONET 2018).","DOI":"10.1109\/SaCoNeT.2018.8585502"},{"key":"e_1_2_7_25_1","unstructured":"How secure is my password [Online]. Available:https:\/\/2.zoppoz.workers.dev:443\/https\/howsecureismypassword.net\/. [Accessed 10 04 2019]."},{"key":"e_1_2_7_26_1","unstructured":"Brute\u2010force Calculator mandylionlabs [Online]. Available:https:\/\/2.zoppoz.workers.dev:443\/http\/www.mandylionlabs.com\/index15.htm. [Accessed 10 04 2019]."},{"key":"e_1_2_7_27_1","unstructured":"VercauterenF.Discrete logarithms in cryptography. ESAT\/COSICKU Leuven ECRYPT Summer.2008."},{"key":"e_1_2_7_28_1","unstructured":"Small Primes primes.utm.edu [Online]. Available:https:\/\/2.zoppoz.workers.dev:443\/https\/primes.utm.edu\/lists\/small\/small.html. [Accessed 10 04 2019]."},{"key":"e_1_2_7_29_1","unstructured":"Scientific notation: table of large numbers sunshine [Online]. Available:https:\/\/2.zoppoz.workers.dev:443\/http\/sunshine.chpc.utah.edu\/Labs\/ScientificNotation\/ManSciNot1\/table.html. [Accessed 10 04 2019]."},{"key":"e_1_2_7_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"e_1_2_7_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2657649"},{"key":"e_1_2_7_32_1","doi-asserted-by":"crossref","unstructured":"BenarousL KadriB.Ensuring privacy and authentication for V2V resource sharing. In Emerging Security Technologies (EST) 2017Seventh International Conference 2017 pp. 1\u20106. IEEE.","DOI":"10.1109\/EST.2017.8090390"},{"key":"e_1_2_7_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/dac.3317"},{"key":"e_1_2_7_34_1","unstructured":"Irisa \u201cSPAN\u201d2006. Available:https:\/\/2.zoppoz.workers.dev:443\/http\/people.irisa.fr\/Thomas.Genet\/span\/. [Accessed 18 04 2018]."},{"key":"e_1_2_7_35_1","unstructured":"Avispa \u201cAvispa\u201d2002. [Online]. Available:https:\/\/2.zoppoz.workers.dev:443\/http\/www.avispa\u2010project.org. [Accessed 18 04 2018]."},{"key":"e_1_2_7_36_1","doi-asserted-by":"publisher","DOI":"10.1002\/dac.3839"},{"key":"e_1_2_7_37_1","doi-asserted-by":"publisher","DOI":"10.1002\/dac.3457"},{"key":"e_1_2_7_38_1","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/1378128"},{"key":"e_1_2_7_39_1","unstructured":"Avispa Team \u201cHLPSL Tutorial\u201d2006. Available:https:\/\/2.zoppoz.workers.dev:443\/http\/www.avispa\u2010project.org\/package\/tutorial.pdf. [Accessed 19 04 2018]."}],"container-title":["International Journal of Communication Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fdac.4087","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/dac.4087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T08:18:40Z","timestamp":1693988320000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/onlinelibrary.wiley.com\/doi\/10.1002\/dac.4087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,18]]},"references-count":38,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2020,7,10]]}},"alternative-id":["10.1002\/dac.4087"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1002\/dac.4087","archive":["Portico"],"relation":{},"ISSN":["1074-5351","1099-1131"],"issn-type":[{"value":"1074-5351","type":"print"},{"value":"1099-1131","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,18]]},"assertion":[{"value":"2019-02-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-06-14","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}],"article-number":"e4087"}}