We use Uppaal SMC to analyze a non-trivial coordinated multi-engine system equipped with both a tamperproof distributed intrusion detection system (IDS) and a tamperproof supervisor component to mitigate eventual loss of performance. We rely on statistical model checking to evaluate the impact of three coordinated cyber-physical attacks targeting all controllers of the multi-engine system, and aiming at compromising the performance of the whole system. Here, the coordination of the attackers via a covert channel is a necessary requirement to achieve the desired malicious goals. Our security analysis provide an estimate of both the physical impact of the attacks on the system and the effectiveness of the IDS.

Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study

Merro, Massimo
;
2023-01-01

Abstract

We use Uppaal SMC to analyze a non-trivial coordinated multi-engine system equipped with both a tamperproof distributed intrusion detection system (IDS) and a tamperproof supervisor component to mitigate eventual loss of performance. We rely on statistical model checking to evaluate the impact of three coordinated cyber-physical attacks targeting all controllers of the multi-engine system, and aiming at compromising the performance of the whole system. Here, the coordination of the attackers via a covert channel is a necessary requirement to achieve the desired malicious goals. Our security analysis provide an estimate of both the physical impact of the attacks on the system and the effectiveness of the IDS.
2023
978-3-031-08678-6
Statistical model checking
Coordinated cyber-physical attack
Impact security analysis
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/1091226
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact