A Systematic Approach to Automotive Security

Masoud Ebrahimi*, Stefan Marksteiner, Dejan Nickovic, Roderick Bloem, David Schögler, Philipp Eisner, Samuel Sprung, Thomas Schober, Sebastian Chlup, Christoph Schmittner, Sandra König

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review


We propose a holistic methodology for designing automotive systems that consider security a central concern at every design stage. During the concept design, we model the system architecture and define the security attributes of its components. We perform threat analysis on the system model to identify structural security issues. From that analysis, we derive attack trees that define recipes describing steps to successfully attack the system’s assets and propose threat prevention measures. The attack tree allows us to derive a verification and validation (V &V) plan, which prioritizes the testing effort. In particular, we advocate using learning for testing approaches for the black-box components. It consists of inferring a finite state model of the black-box component from its execution traces. This model can then be used to generate new relevant tests, model check it against requirements, and compare two different implementations of the same protocol. We illustrate the methodology with an automotive infotainment system example. Using the advocated approach, we could also document unexpected and potentially critical behavior in our example systems.
Original languageEnglish
Title of host publicationFormal Methods - 25th International Symposium, FM 2023, Proceedings
EditorsMarsha Chechik, Joost-Pieter Katoen, Martin Leucker
Place of PublicationCham
Number of pages12
ISBN (Electronic)978-3-031-27481-7
ISBN (Print)978-3-031-27480-0
Publication statusPublished - 6 Mar 2023
Event25th International Symposium on Formal Methods: FM 2023 - Lübeck, Germany
Duration: 7 Mar 20239 Mar 2023

Publication series

NameLecture Notes in Computer Science


Conference25th International Symposium on Formal Methods
Internet address


  • Automotive
  • Cybersecurity
  • Testing
  • Threats

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'A Systematic Approach to Automotive Security'. Together they form a unique fingerprint.

Cite this