@inbook{1fc9879eb12e491eb343468568d97a99,
title = "Methodological Resilience Assessment of Smart Cyber Infrastructures",
abstract = "The race for digitization created a real need to protect smart infrastructures. Environments are becoming highly connected and automated. Their growing complexity and connectivity make it hard to assure and assess their cyber resilience, i.e., protecting them from cyberattacks, failures, and errors. Traditional strategies for ensuring the cyber resilience of smart infrastructures suffer from a lack of holism. Indeed, since smart infrastructures are often structured in layers, traditional protection methods can lead to conflicting and competing goals. For instance, they may increase the resilience of specific layers at the expense of decreasing the performance of others. This chapter reviews existing methods aiming to address this problem. We focus on two leading methodological assessment families: quantitative and qualitative. The former includes numerical metrics to quantify and assist system-dependent decision-making processes. The latter builds upon symbolic modeling to offer a system-agnostic assessment. The chapter provides an in-depth exploration of quantitative and qualitative methodologies with significant potential to enhance the resilience of layered smart infrastructures. Our exploration covers classical technological aspects (e.g., cascading effects) and socio-technical factors (e.g., human-in-the-loop interaction).",
keywords = "Attack Remediation, Cascading Effect, Cyber-Physical System, Formal Modeling, Human-in-the-Loop, Hypergraph, Resilience Assessment, Resilience Enhancement, Security Ceremony, Smart Infrastructure, Socio-Technical Theory, Theorem Proving",
author = "Romain Dagnas and Michel Barbeau and Maxime Boutin and Joaquin Garcia-Alfaro and Reda Yaich",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2025.",
year = "2025",
month = jan,
day = "1",
doi = "10.1007/978-3-031-66708-4\_1",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "3--24",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}