Title | Metrics to Enhance the Resilience of Cyber-Physical Systems |
Publication Type | Conference Paper |
Year of Publication | 2020 |
Authors | Barbeau, Michel, Cuppens, Frédéric, Cuppens, Nora, Dagnas, Romain, Garcia-Alfaro, Joaquin |
Conference Name | 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) |
Date Published | Jan. 2021 |
Publisher | IEEE |
ISBN Number | 978-1-6654-0392-4 |
Keywords | Attack Remediation, composability, compositionality, Computing Theory, Computing Theory and Resilience, control theory, covert attacks, CPS Resilience, cyber physical systems, Cyber-physical systems, Cyber-Resilience, diversity reception, Hardware, Monitoring, pubcrawl, Recoverability, Redundancy, resilience, Resiliency, security metrics, Software |
Abstract | We focus on resilience towards covert attacks on Cyber-Physical Systems (CPS). We define the new k-steerability and l-monitorability control-theoretic concepts. k-steerability reflects the ability to act on every individual plant state variable with at least k different groups of functionally diverse input signals. l-monitorability indicates the ability to monitor every individual plant state variable with £ different groups of functionally diverse output signals. A CPS with k-steerability and l-monitorability is said to be (k, l)-resilient. k and l, when both greater than one, provide the capability to mitigate the impact of covert attacks when some signals, but not all, are compromised. We analyze the influence of k and l on the resilience of a system and the ability to recover its state when attacks are perpetrated. We argue that the values of k and l can be augmented by combining redundancy and diversity in hardware and software techniques that apply the moving target paradigm. |
URL | https://ieeexplore.ieee.org/document/9342965 |
DOI | 10.1109/TrustCom50675.2020.00156 |
Citation Key | barbeau_metrics_2020 |