Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study - Formal Techniques for Distributed Objects, Components, and Systems
Conference Papers Year : 2023

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

Abstract

Cyber-Physical Systems are exposed to cyber-physical attacks, i.e., security breaches in cyberspace that alter the underlying physical processes.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 injecting malicious code in all controllers of the multi-engine system to compromise the performance of the whole system. Here, the coordination of the attackers is a necessary requirement to achieve the desired malicious goals. Our security analysis provides an estimate of both the physical impact of the attacks on the physical process of the system and the effectiveness of the IDS. We believe that by assessing the impact of attacks, system engineers may understand whether they have to develop more accurate impact metrics or focus on different invariants to enhance their IDSs in order to detect such attacks.
Embargoed file
Embargoed file
1 2 4
Year Month Jours
Avant la publication
Thursday, January 1, 2026
Embargoed file
Thursday, January 1, 2026
Please log in to request access to the document

Dates and versions

hal-04731929 , version 1 (11-10-2024)

Licence

Identifiers

Cite

Ruggero Lanotte, Massimo Merro, Nicola Zannone. Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. 43th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2023, Lisbon, Portugal. pp.75-94, ⟨10.1007/978-3-031-35355-0_6⟩. ⟨hal-04731929⟩
0 View
0 Download

Altmetric

Share

More