Francesco Galazzo
Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications.
Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (5MB) | Preview |
Abstract
Cooperative Intelligent Transport Systems (C-ITS) and Vehicle-to-Everything (V2X) communication are at the forefront of revolutionizing transportation. C-ITS enables vehicles to communicate with each other and with traffic management systems through wireless networks, which supports cooperative and automated driving experiences. V2X is a broader term that includes various forms of vehicle communication, such as vehicle-to-vehicle (V2V), vehicle-to-infrastructure (V2I), vehicle-to-network (V2N), and vehicle-to-pedestrian (V2P) communications. These technologies are integral to enhancing road safety, traffic efficiency, and driving comfort.SCOOP@F, or "Système COopératif", is a pioneering C-ITS project in France that aims to improve road safety and traffic management by enabling V2V and V2I communication.
This collaborative effort between road managers and car manufacturers tackles real-life challenges such as privacy, cybersecurity, and interoperability
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
