This work presents the methodology of the FORESEEN project for detecting cyber-attacks in autonomous vehicular networks. The methodology exploits co-simulation to generate the system's execution traces and formal methods to derive simple tests from traces that can be run for online monitoring services.
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project
Bernardeschi C.
;Lettieri G.;Vivani A.;Bechini A.;Vecchio A.;Rossi F.;
2024-01-01
Abstract
This work presents the methodology of the FORESEEN project for detecting cyber-attacks in autonomous vehicular networks. The methodology exploits co-simulation to generate the system's execution traces and formal methods to derive simple tests from traces that can be run for online monitoring services.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
preprint.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
394.96 kB
Formato
Adobe PDF
|
394.96 kB | Adobe PDF | Visualizza/Apri |
|
published.pdf
non disponibili
Tipologia:
Versione finale editoriale
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
437.79 kB
Formato
Adobe PDF
|
437.79 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
