{"id":"https://openalex.org/W3016542125","doi":"https://doi.org/10.1007/978-3-030-44322-1_29","title":"A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs","display_name":"A Formal Environment for Credibility and Accuracy Assessment of Safety Messages Exchanged in VANETs","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3016542125","doi":"https://doi.org/10.1007/978-3-030-44322-1_29","mag":"3016542125"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-44322-1_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-44322-1_29","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"},"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":true,"raw_author_name":"Ons Chikhaoui","raw_affiliation_strings":["Digital Security Research Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","Digital Security Research Lab, Higher School of Communication of Tunis (Sup'Com), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]},{"raw_affiliation_string":"Digital Security Research Lab, 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 Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","Digital Security Research Lab, Higher School of Communication of Tunis (Sup'Com), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]},{"raw_affiliation_string":"Digital Security Research Lab, 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 Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","Digital Security Research Lab, Higher School of Communication of Tunis (Sup'Com), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]},{"raw_affiliation_string":"Digital Security Research Lab, 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 Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","Digital Security Research Lab, Higher School of Communication of Tunis (Sup'Com), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Security Research Lab, Higher School of Communication of Tunis (Sup\u2019Com), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"]},{"raw_affiliation_string":"Digital Security Research Lab, 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":["https://openalex.org/A5035301863"],"corresponding_institution_ids":["https://openalex.org/I179097149","https://openalex.org/I4405269272"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06578539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"391","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10761","display_name":"Vehicular Ad Hoc Networks (VANETs)","score":0.9991999864578247,"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.9972000122070312,"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.9496886730194092},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.8361769914627075},{"id":"https://openalex.org/keywords/credibility","display_name":"Credibility","score":0.8080710172653198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7695466876029968},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6474321484565735},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5615649223327637},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.530974268913269},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.40510761737823486},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17613911628723145},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15687516331672668},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07359570264816284}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.9496886730194092},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.8361769914627075},{"id":"https://openalex.org/C2780224610","wikidata":"https://www.wikidata.org/wiki/Q1530061","display_name":"Credibility","level":2,"score":0.8080710172653198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7695466876029968},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6474321484565735},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5615649223327637},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.530974268913269},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.40510761737823486},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17613911628723145},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15687516331672668},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07359570264816284},{"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/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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-44322-1_29","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-44322-1_29","pdf_url":null,"source":{"id":"https://openalex.org/S4210177767","display_name":"Lecture notes in business information processing","issn_l":"1865-1348","issn":["1865-1348","1865-1356"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Business Information Processing","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1598822623","https://openalex.org/W2296068804","https://openalex.org/W2771817079","https://openalex.org/W2886180403","https://openalex.org/W2969950618"],"related_works":["https://openalex.org/W13634261","https://openalex.org/W56937029","https://openalex.org/W3163509751","https://openalex.org/W958050847","https://openalex.org/W2396405675","https://openalex.org/W175051304","https://openalex.org/W1548499332","https://openalex.org/W1549730417","https://openalex.org/W1994524667","https://openalex.org/W4233421640"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}