The SAFERtec project will put under the microscope two highly pervasive instances of the Automotive communications (i.e., RSU- and cloud- communications) and consider a broad range of the related security-assurance issues.
Both instances expose a large attack surface which typically includes the direct malicious interaction with the vehicle hardware (OBD, CAN, external interfaces) and/or trust-establishment processes among numerous involved entities.
SAFERtec will go-beyond those well-known vulnerabilities and through innovative formal methods will introduce a security assurance framework that accounts for the associated infrastructure (i.e., RSU, cloud) as well as the exchanged messages in driving scenarios such as:
- Optimal driving-speed advice. The vehicle can rely on phase and timing messages to calculate and suggest the appropriate speed at which it will reach the intersection at the beginning of the next green phase.
- Provision of real-time traffic-hazard information. Relying on environmental notification messages sent by the infrastructure, a vehicle can avoid rear-end collision as it approaches an already-formed traffic jam (on a highway). In-vehicle functionality is then used to make the driver aware.
- Priority request in intersection-crossing. Authorized emergency vehicles may request priority from the infrastructure that coordinates an intersection. Such requests override normal operation and result in updated signal patterns broadcasted to involved vehicles.
- Privacy-preserving trip planning and navigation. A destination is selected though a web or smart-phone application. Then, a navigation device in the car is synchronized by a cloud-based service to provide the driver with a suggested route.