Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment

Autor:	Théo Serru, Nga Nguyen, Michel Batteux, Antoine Rauzy
Rok vydání:	2022
Předmět:	model-based security cyber-physical systems cyberattacks safety discrete event systems Computer Networks and Communications Hardware and Architecture Control and Systems Engineering Signal Processing Electrical and Electronic Engineering
Zdroj:	Electronics Electronics; Volume 12; Issue 1; Pages: 77
ISSN:	2079-9292
DOI:	10.3390/electronics12010077
Popis:	In this article, we present an experiment we conducted with discrete event simulations to analyze the effects of multi-step cyberattacks on the safety of cyber-physical systems. We show how to represent systems, their components (either software and/or hardware), communication links, security measures, and attacks from a malicious intruder. The latter are typically taken from the MITRE ATT&CK knowledge base. The discrete event simulation method makes it possible to represent any event affecting the system. We illustrate our approach by means of an illustrative example involving cyberattacks against the navigation system of an autonomous ship. We show how the formal modeling language AltaRica, primarily dedicated to safety analyses, can assess this illustrative example by representing the system and automatically extracting sequences of attacks, leading to a safety-critical situation, namely the deviation of the ship by the attacker. This article aims to discuss this approach and to outline the lessons learned from our experience.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::34238dd88ca5f792ad09793171bb86eb https://doi.org/10.3390/electronics12010077 Zobrazit plný text záznamu