Francesco Rametta
Formal verification of a V2X Security Credential Management System.
Rel. Riccardo Sisto, Fulvio Valenza, Simone Bussa. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2023
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (3MB) | Preview |
Abstract
Vehicles are currently being developed and sold with increasing levels of connectivity and automation. Communication technologies connect the vehicles with various on-road elements, such as pedestrians, infrastructures, roads, cloud computing platforms etc. to each other. V2X communication technology is expected to improve traffic efficiency by reducing traffic incidents and road pollution. Some examples of how this technology could be very promising and useful are: traffic jam/incident reporting, collision warning and avoidance, cooperative automated driving, infotainment services. All of this, results in a heightened risk of cyber-security attacks. In literature many different types of attack have been extensively and deeply analyzed and discussed.
Here the focus is on the privacy
Tipo di pubblicazione
URI
![]() |
Modifica (riservato agli operatori) |
