{"id":"https://openalex.org/W3194684091","doi":"https://doi.org/10.1145/3465481.3470104","title":"Formal Validation of a Security Mechanism against the RSU Compromise Attack","display_name":"Formal Validation of a Security Mechanism against the RSU Compromise Attack","publication_year":2021,"publication_date":"2021-08-16","ids":{"openalex":"https://openalex.org/W3194684091","doi":"https://doi.org/10.1145/3465481.3470104","mag":"3194684091"},"language":"en","primary_location":{"id":"doi:10.1145/3465481.3470104","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465481.3470104","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"},"type":"conference-paper","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/A5035301863","display_name":"Ons Chikhaoui","orcid":null},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I4405269272","display_name":"\u00c9cole Sup\u00e9rieure des Communications de Tunis","ror":"https://ror.org/03mcjjp59","country_code":"TN","type":"education","lineage":["https://openalex.org/I4405269272"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ons Chikhaoui","raw_affiliation_strings":["Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038170181","display_name":"Ryma Abassi","orcid":"https://orcid.org/0000-0003-2148-7965"},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I4405269272","display_name":"\u00c9cole Sup\u00e9rieure des Communications de Tunis","ror":"https://ror.org/03mcjjp59","country_code":"TN","type":"education","lineage":["https://openalex.org/I4405269272"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Ryma Abassi","raw_affiliation_strings":["Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002751739","display_name":"Aida Ben Chehida Douss","orcid":"https://orcid.org/0000-0002-4664-4800"},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I4405269272","display_name":"\u00c9cole Sup\u00e9rieure des Communications de Tunis","ror":"https://ror.org/03mcjjp59","country_code":"TN","type":"education","lineage":["https://openalex.org/I4405269272"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Aida Ben Chehida Douss","raw_affiliation_strings":["Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003015498","display_name":"Sihem Guemara El Fatmi","orcid":null},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I4405269272","display_name":"\u00c9cole Sup\u00e9rieure des Communications de Tunis","ror":"https://ror.org/03mcjjp59","country_code":"TN","type":"education","lineage":["https://openalex.org/I4405269272"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Sihem Guemara El Fatmi","raw_affiliation_strings":["Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Laboratory, Higher School of Communication of Tunis (SUP'COM), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11231222,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"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.9993000030517578,"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.9993000030517578,"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.9993000030517578,"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.9969000220298767,"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/computer-security","display_name":"Computer security","score":0.7987771034240723},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7588812708854675},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.5724881887435913},{"id":"https://openalex.org/keywords/confidentiality","display_name":"Confidentiality","score":0.5554959774017334},{"id":"https://openalex.org/keywords/vehicular-ad-hoc-network","display_name":"Vehicular ad hoc network","score":0.5396329164505005},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4694027006626129},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4436037242412567},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.4431268870830536},{"id":"https://openalex.org/keywords/botnet","display_name":"Botnet","score":0.43918377161026},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.42872196435928345},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.21218866109848022},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.08137130737304688}],"concepts":[{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.7987771034240723},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7588812708854675},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.5724881887435913},{"id":"https://openalex.org/C71745522","wikidata":"https://www.wikidata.org/wiki/Q2476929","display_name":"Confidentiality","level":2,"score":0.5554959774017334},{"id":"https://openalex.org/C192448918","wikidata":"https://www.wikidata.org/wiki/Q682677","display_name":"Vehicular ad hoc network","level":4,"score":0.5396329164505005},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4694027006626129},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4436037242412567},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.4431268870830536},{"id":"https://openalex.org/C22735295","wikidata":"https://www.wikidata.org/wiki/Q317671","display_name":"Botnet","level":3,"score":0.43918377161026},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.42872196435928345},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.21218866109848022},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.08137130737304688},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3465481.3470104","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465481.3470104","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Conference on Availability, Reliability and Security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1569083856","https://openalex.org/W1969035815","https://openalex.org/W2029693536","https://openalex.org/W2117064875","https://openalex.org/W2180055784","https://openalex.org/W2755422776","https://openalex.org/W2884266211","https://openalex.org/W3039753776","https://openalex.org/W3131408120","https://openalex.org/W6642328435"],"related_works":["https://openalex.org/W2027636740","https://openalex.org/W2062688728","https://openalex.org/W2061231656","https://openalex.org/W2771454953","https://openalex.org/W3046762796","https://openalex.org/W3202102306","https://openalex.org/W3046260513","https://openalex.org/W2998294818","https://openalex.org/W45347327","https://openalex.org/W2020269557"],"abstract_inverted_index":{"Vehicular":[0],"Ad":[1],"hoc":[2],"NETworks":[3],"(VANETs)":[4],"have":[5,63],"as":[6],"major":[7],"goal":[8],"the":[9,36,40,86,89,96,136,144,147,158,169,211,217,223,245],"bringing":[10],"of":[11,42,88,146,161,219,226],"safety":[12,29,138],"and":[13,188,230,240],"expediency":[14],"to":[15,27,64,107,134,164,176,180,191],"roads":[16],"traffic.":[17],"To":[18],"do":[19],"this,":[20,181],"vehicles":[21,91,133,163],"in":[22,79,111,122,184],"these":[23,43,56,118],"networks":[24],"are":[25,58],"enabled":[26],"exchange":[28],"related":[30,113,139],"messages":[31,57,140],"containing":[32],"valuable":[33],"information":[34],"about":[35],"traffic":[37],"environment.":[38],"With":[39],"help":[41],"information,":[44],"vehicles/their":[45],"drivers":[46],"can":[47],"take":[48],"early":[49],"actions":[50],"concerning":[51],"unusual":[52],"situations.":[53],"However,":[54],"since":[55],"with":[59,117],"critical":[60],"nature,":[61],"they":[62],"be":[65,93,101],"secured":[66],"before":[67],"being":[68],"relied":[69],"on.":[70],"A":[71],"crucial":[72],"security":[73,218,237],"requirement":[74],"is":[75,201,248],"message":[76],"authentication;":[77],"yet,":[78],"VANETs":[80],"context,":[81],"during":[82],"this":[83,109,151,193,220],"authentication":[84,239],"process,":[85],"privacy":[87,110,145],"sending":[90,148],"should":[92,100],"preserved;":[94],"at":[95],"same":[97],"time,":[98],"it":[99],"kept":[102],"possible":[103],"for":[104],"legal":[105],"authorities":[106],"lift":[108],"liability":[112],"cases.":[114],"In":[115,150,210],"dealing":[116],"demands,":[119],"we":[120,126,182,199,214],"proposed":[121,183,200],"our":[123],"work":[124],"that":[125,244],"called":[127],"TASVPP":[128],"[1]":[129],"a":[130,202],"scheme":[131],"enabling":[132],"authenticate":[135],"received":[137],"while":[141],"conditionally":[142],"preserving":[143],"vehicles.":[149],"scheme,":[152],"Road":[153],"Side":[154],"Units":[155],"(RSUs)":[156],"play":[157],"important":[159],"role":[160],"authenticating":[162],"prevent":[165],"outsiders":[166],"from":[167],"accessing":[168],"network.":[170],"Hence,":[171],"compromising":[172],"RSUs":[173],"may":[174],"lead":[175],"serious":[177],"consequences.":[178],"Due":[179],"[2]":[185],"preventive,":[186],"detective":[187],"reactive":[189],"mechanisms":[190],"treat":[192],"problem.":[194],"The":[195],"main":[196],"preventive":[197],"mechanism":[198],"RSU's":[203],"identity/corresponding":[204],"private":[205],"key":[206],"pair":[207],"updating":[208],"strategy.":[209],"present":[212],"paper,":[213],"formally":[215],"validate":[216],"strategy":[221,247],"using":[222],"Automated":[224],"Validation":[225],"Internet":[227],"Security":[228],"Protocols":[229],"Applications":[231],"(AVISPA)":[232],"tool.":[233],"We":[234],"verified":[235],"two":[236],"properties:":[238],"confidentiality.":[241],"AVISPA":[242],"reports":[243],"checked":[246],"safe.":[249]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}