Security Analysis of Linux Kernel Features for Embedded Software Systems in Vehicles
Résumé
This paper describes different safety and security mechanisms implemented in the Linux kernel to prevent and protect against accidental or malicious misbehaviour in user applications. First, we present a generic system model for user applications with different levels of criticality and deterministic behaviour. From this, a theoretical model for failure modes and attack scenarios on the stability of the operating system and concurrently executed user applications is derived. Then, technologies in the Linux kernel to counter the identified failure modes and attack scenarios are examined and compared. Current work in progress is to implement requirement-based tests for these security measures and assess their effectiveness, efficiency and limits.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...