TSME: a trust-based security scheme for message exchange in vehicular Ad hoc networks
- PDF / 1,757,414 Bytes
- 19 Pages / 595.276 x 790.866 pts Page_size
- 84 Downloads / 191 Views
Open Access
RESEARCH
TSME: a trust‑based security scheme for message exchange in vehicular Ad hoc networks Ryma Abassi1* , Aida Ben Chehida Douss1 and Damien Sauveron2 *Correspondence: [email protected] 1 Digital Security Research Lab, Higher School of Communication of Tunis, SUP’Com, University of Carthage, Tunis, Tunisia Full list of author information is available at the end of the article
Abstract A Vehicular Ad hoc NETwork (VANET) is a self-organized network formed by connected vehicles, which allows the exchange of useful traffic information in a timely manner. In such a context, evaluating the reliability of transmissions is vital. Trust can be used to promote such healthy collaboration. In fact, trust enables collaborating vehicles to counter uncertainty and suspicion by establishing trustworthy relationships. The main contribution of this paper is the proposition of a trust-based security scheme for message exchange in a VANET called TSME. Because of VANET characteristics, including dynamicity and high speed, we first proposed a VANET Grouping Algorithm (VGA); a suitable clustering algorithm organizing the network into groups with elected GroupHeads. Second, built on the VGA, we defined our trust management scheme dealing with vehicles’ reputations. Finally, we proposed a formal specification of the scheme using an inference system, and conducted a formal validation to assess its completeness and soundness rather than conducting simulations where some potentially rare conflicting or malfunctioning situations might not be detected. Soundness was proven by showing that there were no conflicts in our scheme, and completeness was established by assessing that all potential situations could be handled. The results obtained showed that our scheme for evaluating the veracity of exchanged messages is formally sound and complete. Keywords: VANET, Security, Mobility, Embedded intelligence, IoT, Clustering
Introduction A Vehicular Ad hoc NETwork (VANET) is a special case of a Mobile Ad hoc NETwork (MANET), where the nodes are vehicles equipped with On-Board Units (OBUs) [1]. These vehicles can directly inter-communicate, or communicate through routers called Road Side Units (RSUs). The first case is called Vehicle-to-Vehicle communication (V2V), while the second case is Vehicle-to-Infrastructure communication (V2I). In both cases, Trusted Authorities (TA) control the whole network. VANETs are mainly used to improve traffic security (such as traffic services, alarms and warning messaging) and efficiency. In this context, a security problem can have disastrous consequences since
© The Author(s) 2020. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are include
Data Loading...