The Marriage Between Safety and Cybersecurity: Still Practicing

Marielle Stoelinga*, Christina Kolb, Stefano M. Nicoletti, Carlos E. Budde, Ernst Moritz Hahn

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

Emerging technologies, like self-driving cars, drones, and the Internet-of-Things must not impose threats to people, neither due to accidental failures (safety), nor due to malicious attacks (security). As historically separated fields, safety and security are often analyzed in isolation. They are, however, heavily intertwined: measures that increase safety often decrease security and vice versa. Also, security vulnerabilities often cause safety hazards, e.g. in autonomous cars. Therefore, for effective decision-making, safety and security must be considered in combination. This paper discusses three major challenges that a successful integration of safety and security faces: (1) The complex interaction between safety and security (2) The lack of efficient algorithms to compute system-level risk metrics (3) The lack of proper risk quantification methods. We will point out several research directions to tackle these challenges, exploiting novel combinations of mathematical game theory, stochastic model checking, as well as the Bayesian, fuzzy, and Dempster-Schafer frameworks for uncertainty reasoning. Finally, we report on early results in these directions.

Original languageEnglish
Title of host publicationModel Checking Software - 27th International Symposium, SPIN 2021, Proceedings
EditorsAlfons Laarman, Ana Sokolova
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages19
ISBN (Electronic)9783030846299
ISBN (Print)9783030846282
Publication statusPublished - 3 Aug 2021
Event27th International Symposium on Model Checking Software, SPIN 2021 - Virtual, Online
Duration: 12 Jul 202112 Jul 2021

Publication series

NameLecture Notes in Computer Science
Volume12864 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference27th International Symposium on Model Checking Software, SPIN 2021
CityVirtual, Online

Keywords / Materials (for Non-textual outputs)

  • attack trees
  • fault tree-attack tree integration
  • fault trees
  • interaction
  • model-based
  • safety
  • security


Dive into the research topics of 'The Marriage Between Safety and Cybersecurity: Still Practicing'. Together they form a unique fingerprint.

Cite this