{"id":"https://openalex.org/W3193920699","doi":"https://doi.org/10.1145/3465481.3470103","title":"Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs","display_name":"Formal Validation of Credibility and Accuracy Assessment of Safety Messages in VANETs","publication_year":2021,"publication_date":"2021-08-16","ids":{"openalex":"https://openalex.org/W3193920699","doi":"https://doi.org/10.1145/3465481.3470103","mag":"3193920699"},"language":"en","primary_location":{"id":"doi:10.1145/3465481.3470103","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465481.3470103","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/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":"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":"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.407,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48117002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":1.0,"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":1.0,"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.989300012588501,"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/T10246","display_name":"Mobile Ad Hoc Networks","score":0.9890000224113464,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8781666159629822},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7958450317382812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.771897554397583},{"id":"https://openalex.org/keywords/credibility","display_name":"Credibility","score":0.5600834488868713},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5319955945014954},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5051081776618958},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46745333075523376},{"id":"https://openalex.org/keywords/vehicular-ad-hoc-network","display_name":"Vehicular ad hoc network","score":0.4627767503261566},{"id":"https://openalex.org/keywords/closeness","display_name":"Closeness","score":0.45006832480430603},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4489450454711914},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3766750693321228},{"id":"https://openalex.org/keywords/wireless-ad-hoc-network","display_name":"Wireless ad hoc network","score":0.3637256920337677},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.238743394613266},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2359912395477295},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1979832947254181},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12792831659317017},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08373135328292847}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8781666159629822},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7958450317382812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.771897554397583},{"id":"https://openalex.org/C2780224610","wikidata":"https://www.wikidata.org/wiki/Q1530061","display_name":"Credibility","level":2,"score":0.5600834488868713},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5319955945014954},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5051081776618958},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46745333075523376},{"id":"https://openalex.org/C192448918","wikidata":"https://www.wikidata.org/wiki/Q682677","display_name":"Vehicular ad hoc network","level":4,"score":0.4627767503261566},{"id":"https://openalex.org/C2779545769","wikidata":"https://www.wikidata.org/wiki/Q5135364","display_name":"Closeness","level":2,"score":0.45006832480430603},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4489450454711914},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3766750693321228},{"id":"https://openalex.org/C94523657","wikidata":"https://www.wikidata.org/wiki/Q4085781","display_name":"Wireless ad hoc network","level":3,"score":0.3637256920337677},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.238743394613266},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2359912395477295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1979832947254181},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12792831659317017},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08373135328292847},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3465481.3470103","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3465481.3470103","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":[{"id":"https://metadata.un.org/sdg/11","score":0.5600000023841858,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W2139937502","https://openalex.org/W2886180403","https://openalex.org/W2921850561","https://openalex.org/W3011029975","https://openalex.org/W3058218819"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W1994222400","https://openalex.org/W2391979747","https://openalex.org/W2981877881"],"abstract_inverted_index":{"In":[0,32,159],"Vehicular":[1],"Ad":[2],"hoc":[3],"NETworks":[4],"(VANETs),":[5],"vehicles":[6,59,74],"exchange":[7],"safety":[8,44,87],"messages":[9,25,88],"containing":[10],"valuable":[11],"information":[12,45],"about":[13],"traffic":[14],"environment":[15],"to":[16,75,126,145,219],"increase":[17],"roads\u2019":[18],"safety.":[19],"The":[20],"critical":[21],"nature":[22],"of":[23,41,53,82,85,152,167,173,196,226,236],"these":[24,42,117,153,227],"entails":[26],"securing":[27],"them":[28],"before":[29],"considering":[30],"them.":[31],"this":[33,66,160,209],"context,":[34],"the":[35,38,51,70,77,80,83,86,127,147,150,171,174,187,194,197,221,224,234,237],"credibility":[36,78],"and":[37,79,104,109,149,156,223,243],"accuracy":[39,81],"assessment":[40],"included":[43],"arises":[46],"as":[47],"a":[48,99,102,110,120,139,216],"necessity":[49],"since":[50],"consumption":[52],"false":[54],"or":[55,122],"imprecise":[56],"ones":[57],"by":[58,169,179,201],"may":[60],"cause":[61],"hazardous":[62],"consequences.":[63],"To":[64,181],"treat":[65],"requirement,":[67],"we":[68,135,162,184],"proposed":[69,214],"scheme":[71,93,131],"[1]":[72,168],"enabling":[73],"evaluate":[76],"contents":[84],"exchanged":[89],"in":[90,119,137,190,215],"VANETs.":[91],"That":[92],"is":[94,132],"based":[95],"on":[96],"three":[97,154,175,198],"modules:":[98],"reputation":[100],"module,":[101,108],"time":[103],"location":[105],"closeness":[106],"estimation":[107],"majority":[111],"module.":[112],"A":[113,205],"vehicle":[114],"can":[115],"use":[116],"modules":[118,155,177,199],"separated":[121],"joint":[123],"way":[124],"according":[125],"circumstances.":[128],"Since":[129],"that":[130,164,193],"error":[133],"prone,":[134],"conducted":[136],"[2],":[138],"formal":[140,165,206],"validation,":[141],"using":[142,208],"inference":[143,188,211],"system,":[144],"prove":[146,220],"soundness":[148,222],"completeness":[151,225],"their":[157],"combination.":[158],"paper,":[161],"complete":[163],"validation":[166],"handling":[170],"junctions":[172,195,239],"basic":[176],"two":[178,200,202],"two.":[180],"do":[182],"this,":[183],"first":[185],"completed":[186],"system":[189,212],"[2]":[191],"so":[192],"become":[203],"incorporated.":[204],"verification":[207],"holistic":[210],"was":[213],"second":[217],"step":[218],"junctions.":[228],"This":[229],"verification's":[230],"obtained":[231],"results":[232],"confirmed":[233],"validity":[235],"said":[238],"for":[240],"being":[241],"sound":[242],"complete.":[244]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}