Design and Verification of Secure Autonomous Vehicles - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Design and Verification of Secure Autonomous Vehicles

Résumé

The rising wave of attacks on communicating embedded systems has exposed their users to risks of information theft, monetary damage, and personal injury. Unprotected remote access to connected features on conventional vehicles already can provide attackers operational control. With the impending introduction of autonomous vehicles, their increased connectivity of autonomous vehicles will offer even more avenues for attack. In this paper, we present a survey of previous attacks on connected vehicles, and the prospective security risks threatening autonomous vehicles. To address these vulnerabilities, previous projects on connected vehicle security, such as EVITA, proposed countermeasures including key distribution and Hardware Security Modules. The expense and overhead of these solutions can be high, leading us to place them only where necessary. We propose developing systems using our toolkit TTool, which locates insecure communications, and then determines performance impact of these countermeasures through modelling and formal verification.
Fichier non déposé

Dates et versions

hal-02287582 , version 1 (13-09-2019)

Identifiants

  • HAL Id : hal-02287582 , version 1

Citer

Ludovic Apvrille, Letitia W. Li, Annie Bracquemond. Design and Verification of Secure Autonomous Vehicles. 12th European ITS Congress, Jun 2017, Strasbourg, France. ⟨hal-02287582⟩
53 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More