Core Concepts
This work proposes a framework to comprehensively quantify the risk of nonlinear cyber-physical systems under stealthy cyber attacks by considering both the reachability of the system and the risk distribution of the scenario.
Abstract
The paper presents a framework to assess the risk of nonlinear cyber-physical systems (CPSs) under stealth attacks. The key components of the framework are:
-
Stealth Reachability Analysis (SRA) Algorithm:
- Approximates the Attacker's Stealth Reachable (ASR) set, which contains all the states that attackers can stealthily induce the system to reach.
- Employs standard set representations like zonotopes and Taylor models to over-approximate the non-standard reachable sets of nonlinear systems.
-
Risk Field Construction:
- Formally describes the risk distribution in a given scenario by constructing a risk field.
- The risk field consists of risk sets, where each risk set has a critical region and a corresponding risk value.
-
Reachability and Risk field-based (RR) Metric:
- Quantifies the risk by checking if the ASR set intersects with the risk sets in the risk field.
- If the ASR set intersects with a risk set, the attacker can stealthily manipulate the system state into the critical region without being detected, leading to the corresponding risk event.
The framework provides an explainable way to predict the risk value and offers early warnings for safety control, going beyond traditional methods that focus only on system dynamics or detection.
Stats
The system model is described by the nonlinear state-space equations (1) and (2), where the state evolves according to the function f(x, u) and the sensor output is given by h(x).
The Unscented Kalman Filter (UKF) is used for state estimation, as described by equations (4)-(13).
The chi-square detector in (16) is used to detect attacks based on the residual r_k.
Quotes
"Stealth attacks pose a major threat to networked CPS because they are difficult to detect."
"Assessing the risk of systems under stealth attacks remains an open challenge, especially in nonlinear systems."