Francesco Galazzo
Formal verification of a cryptographic protocol in Cooperative Intelligent Transport Systems communications.
Rel. Riccardo Sisto, Simone Bussa, Fulvio Valenza. Politecnico di Torino, Master of science program in Computer Engineering, 2024
|
Preview |
PDF (Tesi_di_laurea)
- Thesis
Licence: 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
Relators
Academic year
Publication type
Number of Pages
Course of studies
Classe di laurea
URI
![]() |
Modify record (reserved for operators) |
