A Formal Model to Facilitate Security Testing in Modern Automotive Systems

Eduardo dos Santos, Andrew Simpson, Dominik Schoop

Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as…