Resilience Estimation of Cyber-Physical Systems via Quantitative Metrics

被引:9
作者
Barbeau, Michel [1 ]
Cuppens, Frederic [2 ]
Cuppens, Nora [2 ]
Dagnas, Romain [3 ]
Garcia-Alfaro, Joaquin [4 ]
机构
[1] Carleton Univ, Dept Comp Sci, Ottawa, ON K1S 5B6, Canada
[2] Polytech Montreal, Montreal, PQ H3T 1J4, Canada
[3] Inst Rech Technol SystemX, F-91120 Palaiseau, France
[4] Telecom SudParis, Inst Polytech Paris, F-91000 Evry, France
基金
加拿大自然科学与工程研究理事会; 欧盟地平线“2020”;
关键词
Cyber-physical systems; control theory; cyber-resilience; covert attacks; security metrics; attack remediation; recoverability; resilience estimation; INTEGRITY ATTACKS;
D O I
10.1109/ACCESS.2021.3066108
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper is about the estimation of the cyber-resilience of Cyber-Physical Systems (CPS). We define two new resilience estimation metrics: k-steerability and l-monitorability. They aim at assisting designers to evaluate and increase the cyber-resilience of CPS when facing stealthy attacks. The k-steerability metric reflects the ability of a controller to act on individual plant state variables when, at least, k different groups of functionally diverse input signals may be processed. The l-monitorability metric indicates the ability of a controller to monitor individual plant state variables with l different groups of functionally diverse outputs. Paired together, the metrics lead to CPS reaching (k, l)-resilience. When k and l are both greater than one, a CPS can absorb and adapt to control-theoretic attacks manipulating input and output signals. We also relate the parameters k and l to the recoverability of a system. We define recoverability strategies to mitigate the impact of perpetrated attacks. We show that the values of k and l can be augmented by combining redundancy and diversity in hardware and software, in order to apply the moving target paradigm. We validate the approach via simulation and numeric results.
引用
收藏
页码:46462 / 46475
页数:14
相关论文
共 38 条
[1]  
[Anonymous], 2011, IFAC P
[2]  
Barbeau M., 2021, P IEEE 19 INT C TRUS, P1167
[3]  
Barreto C., 2013, International Conference on Decision and Game Theory for Security, P45
[4]   A CHI-SQUARE TEST FOR FAULT-DETECTION IN KALMAN FILTERS [J].
BRUMBACK, BD ;
SRINATH, MD .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1987, 32 (06) :552-554
[5]  
Chapman A., 2013, CONTROL CYBER PHYS S, V449, P143
[6]  
Conway T., 2014, 12 SANS
[7]   Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks [J].
Fawzi, Hamza ;
Tabuada, Paulo ;
Diggavi, Suhas .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (06) :1454-1467
[8]  
Franklin G. F, 2014, FEEDBACK CONTROL DYN, V7th
[9]   A Moving Target Defense to Detect Stealthy Attacks in Cyber-Physical Systems [J].
Giraldo, J. ;
Cardenas, A. ;
Sanfelice, R. G. .
2019 AMERICAN CONTROL CONFERENCE (ACC), 2019, :391-396
[10]   A Moving Target Defense for Securing Cyber-Physical Systems [J].
Griffioen, Paul ;
Weerakkody, Sean ;
Sinopoli, Bruno .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (05) :2016-2031