{"id":"https://openalex.org/W2963285411","doi":"https://doi.org/10.1002/dac.4087","title":"Privacy\u2010preserving authentication scheme for on\u2010road on\u2010demand refilling of pseudonym in VANET","display_name":"Privacy\u2010preserving authentication scheme for on\u2010road on\u2010demand refilling of pseudonym in VANET","publication_year":2019,"publication_date":"2019-07-18","ids":{"openalex":"https://openalex.org/W2963285411","doi":"https://doi.org/10.1002/dac.4087","mag":"2963285411"},"language":"en","primary_location":{"id":"doi:10.1002/dac.4087","is_oa":false,"landing_page_url":"https://doi.org/10.1002/dac.4087","pdf_url":null,"source":{"id":"https://openalex.org/S175310385","display_name":"International Journal of Communication Systems","issn_l":"1074-5351","issn":["1074-5351","1099-1131"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Communication Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058988344","display_name":"Leila Benarous","orcid":"https://orcid.org/0000-0003-0312-3922"},"institutions":[{"id":"https://openalex.org/I233209018","display_name":"University of Abou Bekr Belka\u00efd","ror":"https://ror.org/00jsjm362","country_code":"DZ","type":"education","lineage":["https://openalex.org/I233209018"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Leila Benarous","raw_affiliation_strings":["STIC Laboratory, Department of Computer Science, Faculty of Science University of Abou Bekr Belkaid  Tlemcen Algeria","STIC Laboratory, Department of Computer Science, Faculty of Science, University of Abou Bekr Belkaid, Tlemcen, Algeria"],"raw_orcid":"https://orcid.org/0000-0003-0312-3922","affiliations":[{"raw_affiliation_string":"STIC Laboratory, Department of Computer Science, Faculty of Science University of Abou Bekr Belkaid  Tlemcen Algeria","institution_ids":["https://openalex.org/I233209018"]},{"raw_affiliation_string":"STIC Laboratory, Department of Computer Science, Faculty of Science, University of Abou Bekr Belkaid, Tlemcen, Algeria","institution_ids":["https://openalex.org/I233209018"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027485520","display_name":"Benamar Kadri","orcid":null},"institutions":[{"id":"https://openalex.org/I233209018","display_name":"University of Abou Bekr Belka\u00efd","ror":"https://ror.org/00jsjm362","country_code":"DZ","type":"education","lineage":["https://openalex.org/I233209018"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Benamar Kadri","raw_affiliation_strings":["STIC Laboratory, Department of Telecommunications, Faculty of Technology University of Abou Bekr Belkaid  Tlemcen Algeria","STIC Laboratory, Department of Telecommunications, Faculty of Technology, University of Abou Bekr Belkaid, Tlemcen, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"STIC Laboratory, Department of Telecommunications, Faculty of Technology University of Abou Bekr Belkaid  Tlemcen Algeria","institution_ids":["https://openalex.org/I233209018"]},{"raw_affiliation_string":"STIC Laboratory, Department of Telecommunications, Faculty of Technology, University of Abou Bekr Belkaid, Tlemcen, Algeria","institution_ids":["https://openalex.org/I233209018"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048857332","display_name":"Salim Bitam","orcid":"https://orcid.org/0000-0001-5618-4126"},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Salim Bitam","raw_affiliation_strings":["LESIA Laboratory, Department of Computer Science University of Biskra  Biskra Algeria","LESIA Laboratory, Department of Computer Science, University of Biskra, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LESIA Laboratory, Department of Computer Science University of Biskra  Biskra Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"LESIA Laboratory, Department of Computer Science, University of Biskra, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045421775","display_name":"Abdelhamid Mellouk","orcid":"https://orcid.org/0000-0002-6886-7394"},"institutions":[{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Abdelhamid Mellouk","raw_affiliation_strings":["LISSI Laboratory, Department of Networks and Telecom University of Paris\u2010Est de Cr\u00e9teil  Cr\u00e9teil France"],"raw_orcid":"https://orcid.org/0000-0002-6886-7394","affiliations":[{"raw_affiliation_string":"LISSI Laboratory, Department of Networks and Telecom University of Paris\u2010Est de Cr\u00e9teil  Cr\u00e9teil France","institution_ids":["https://openalex.org/I2800365227"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5058988344"],"corresponding_institution_ids":["https://openalex.org/I233209018"],"apc_list":{"value":3450,"currency":"USD","value_usd":3450},"apc_paid":null,"fwci":2.5687,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.90078842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"33","issue":"10","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11800","display_name":"User Authentication and Security Systems","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pseudonym","display_name":"Pseudonym","score":0.925574779510498},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8490101099014282},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.787686288356781},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.7309854030609131},{"id":"https://openalex.org/keywords/anonymity","display_name":"Anonymity","score":0.5973904728889465},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5932008028030396},{"id":"https://openalex.org/keywords/trusted-third-party","display_name":"Trusted third party","score":0.512185275554657},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.43039470911026},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.3242638111114502},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.09536111354827881}],"concepts":[{"id":"https://openalex.org/C2776021475","wikidata":"https://www.wikidata.org/wiki/Q61002","display_name":"Pseudonym","level":2,"score":0.925574779510498},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8490101099014282},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.787686288356781},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.7309854030609131},{"id":"https://openalex.org/C178005623","wikidata":"https://www.wikidata.org/wiki/Q308859","display_name":"Anonymity","level":2,"score":0.5973904728889465},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5932008028030396},{"id":"https://openalex.org/C139089976","wikidata":"https://www.wikidata.org/wiki/Q2142273","display_name":"Trusted third party","level":2,"score":0.512185275554657},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.43039470911026},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.3242638111114502},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.09536111354827881},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/dac.4087","is_oa":false,"landing_page_url":"https://doi.org/10.1002/dac.4087","pdf_url":null,"source":{"id":"https://openalex.org/S175310385","display_name":"International Journal of Communication Systems","issn_l":"1074-5351","issn":["1074-5351","1099-1131"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Communication Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04613427v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04613427","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Communication Systems, 2019, 33 (10), ⟨10.1002/dac.4087⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W200502425","https://openalex.org/W242906523","https://openalex.org/W1967963301","https://openalex.org/W1969035815","https://openalex.org/W1995653314","https://openalex.org/W2006481680","https://openalex.org/W2010939995","https://openalex.org/W2022289142","https://openalex.org/W2090964451","https://openalex.org/W2106584402","https://openalex.org/W2151222976","https://openalex.org/W2473168698","https://openalex.org/W2567375205","https://openalex.org/W2594535555","https://openalex.org/W2599837063","https://openalex.org/W2616332126","https://openalex.org/W2750779514","https://openalex.org/W2760707880","https://openalex.org/W2765620444","https://openalex.org/W2765922694","https://openalex.org/W2766938563","https://openalex.org/W2786697930","https://openalex.org/W2801678809","https://openalex.org/W2811510493","https://openalex.org/W2886377992","https://openalex.org/W2891186578","https://openalex.org/W2895844749","https://openalex.org/W2898364612","https://openalex.org/W2906573528","https://openalex.org/W2963216466","https://openalex.org/W3098826247","https://openalex.org/W3105083384","https://openalex.org/W4237082168"],"related_works":["https://openalex.org/W798404019","https://openalex.org/W2397761024","https://openalex.org/W4251901531","https://openalex.org/W2183943932","https://openalex.org/W2058696043","https://openalex.org/W2156712281","https://openalex.org/W1915933348","https://openalex.org/W4384080261","https://openalex.org/W2144373733","https://openalex.org/W2241717028"],"abstract_inverted_index":{"Summary":[0],"Privacy":[1],"in":[2],"Vehicular":[3],"Ad":[4],"Hoc":[5],"Networks":[6],"(VANET)":[7],"is":[8,31,92,132,164,172,189,206,238,248],"fundamental":[9],"because":[10],"the":[11,18,21,27,35,47,56,66,70,74,95,101,106,122,129,145,148,157,168,176,181,192,213,219],"user's":[12,48],"safety":[13],"may":[14],"be":[15],"threatened":[16],"by":[17,34,191,211],"identity":[19,146],"and":[20,41,50,73,128,156,180,197,209,218,226,242],"real\u2010time":[22],"spatiotemporal":[23],"data":[24],"exchanged":[25],"on":[26],"network.":[28],"This":[29],"issue":[30],"commonly":[32],"addressed":[33],"use":[36,193],"of":[37,58,105,147,178,183,194,222],"certified":[38],"temporal":[39],"pseudonyms":[40,114],"their":[42],"updating":[43],"strategies":[44],"to":[45,100,110,166,174,201,250],"ensure":[46],"unlinkability":[49],"anonymity.":[51],"IEEE":[52],"1609.2":[53],"Standard":[54],"specified":[55,208],"process":[57],"certifying":[59,71,158],"pseudonym":[60,88],"along":[61],"with":[62],"certificates":[63,140],"structure.":[64],"However,":[65],"communication":[67],"procedure":[68],"between":[69],"authority":[72,103,109,159],"requesting":[75],"vehicle":[76,96],"was":[77],"not":[78,143],"defined.":[79],"In":[80],"this":[81,235],"paper,":[82],"a":[83,112,133,153],"new":[84,113],"privacy\u2010preserving":[85,236],"solution":[86],"for":[87],"on\u2010road":[89],"on\u2010demand":[90],"refilling":[91],"proposed":[93,187],"where":[94],"anonymously":[97],"authenticates":[98],"itself":[99],"regional":[102],"subsidiary":[104],"central":[107],"trusted":[108],"request":[111],"pool.":[115],"The":[116,136,161,230,240],"authentication":[117,163,237],"method":[118],"has":[119],"two":[120],"phases,":[121],"first":[123],"one":[124,131],"uses":[125],"anonymous":[126,137],"tickets,":[127],"second":[130],"challenge\u2010based":[134],"authentication.":[135],"tickets":[138,179],"are":[139],"that":[141,234,246],"do":[142],"include":[144],"user.":[149],"Instead,":[150],"it":[151,171,247],"contains":[152],"reference":[154],"number":[155],"signature.":[160],"challenge":[162],"identity\u2010less":[165],"preserve":[167],"privacy,":[169],"yet":[170],"used":[173],"prevent":[175],"misuse":[177],"impersonation":[182],"its":[184,203],"owner.":[185],"Our":[186],"scheme":[188],"analyzed":[190],"Burrows,":[195],"Abadi":[196],"Needham":[198],"(BAN)":[199],"logic":[200],"demonstrate":[202],"correctness.":[204],"It":[205],"also":[207],"checked":[210],"using":[212],"Security":[214,224],"Protocol":[215],"ANimator":[216],"(SPAN)":[217],"Automated":[220],"Validation":[221],"Internet":[223],"Protocols":[225],"Applications":[227],"(AVISPA)":[228],"tools.":[229],"logical":[231],"demonstration":[232],"proved":[233],"assured.":[239],"SPAN":[241],"AVISPA":[243],"tools":[244],"illustrated":[245],"resilient":[249],"security":[251],"attacks.":[252]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}