Abstract:This article considers the design and analysis of multiple moving target defenses for recognizing and isolating attacks on cyber-physical systems. We consider attackers who perform integrity attacks on some set of sensors and actuators in a control system. In such cases, it has been shown that a model aware adversary can carefully design attack vectors to bypass bad data detection and identification filters while causing damage to the control system. To counter such an attacker, we propose the moving target defense which introduces stochastic, time-varying parameters in the control system. The underlying random dynamics of the system limit an attacker's knowledge of the model and inhibit his or her ability to construct stealthy attack sequences. Moreover, the time-varying nature of the dynamics thwarts adaptive adversaries. We explore three main designs. First, we consider a hybrid system where parameters within the existing plant are switched among multiple modes. We demonstrate how such an approach can enable both the detection and identification of malicious nodes. Next, we investigate the addition of an extended system with dynamics that are coupled to the original plant but do not affect the system performance. Here, an attack on the original system will affect the authenticating subsystem and in turn be revealed by a set of sensors measuring the extended plant. Finally, we propose the use of sensor nonlinearities to enhance the effectiveness of the moving target defense. The nonlinear dynamics act to conceal normal operational behavior from an attacker who has tampered with the system state, further hindering an attacker's ability to glean information about the time-varying dynamics. In all cases mechanisms for analysis and design are proposed. Finally, we analyze attack detectability for each moving target defense by investigating expected lower bounds on the detection statistic. Our contributions are also tested via simulation.

Detection of Hidden Attacks on Cyber-Physical Systems from Serial Magnitude and Sign Randomness Inconsistencies

Adversarial Attacks and Mitigation for Anomaly Detectors of Cyber-Physical Systems

Memoryless Cumulative Sign Detector for Stealthy CPS Sensor Attacks

Stealthy Actuator Signal Attacks in Stochastic Control Systems: Performance and Limitations.

Multiple Attacks Detection in Cyber-Physical Systems Using Random Finite Set Theory.

A PCA-based algorithm for online false data injection and jamming attacks detection in cyber-physical systems

An Active Detection Strategy Based on Dimensionality Reduction for False Data Injection Attacks in Cyber-Physical Systems

Learning from Mutants: Using Code Mutation to Learn and Monitor Invariants of a Cyber-Physical System

Replay Attack Detection for Cyber-Physical Systems with Sensitive States

Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing

Sensor Attack Detection Using History Based Pairwise Inconsistency.

Data-Driven Attack Detection and Identification for Cyber-Physical Systems under Sparse Sensor Attacks

Detection and Identification of Sparse Sensor Attacks in Cyber-Physical Systems With Side Information

A Moving Target Defense for Securing Cyber-Physical Systems

Sensor attack detection based on active excitation response with uncertain delays

Mode division-based anomaly detection against integrity and availability attacks in industrial cyber-physical systems

Securing CPS Through Simultaneous Analog Side-Channel Monitoring of Cyber and Physical Domains

Characterization of Model-Based Detectors for CPS Sensor Faults/Attacks

Attack Detection for Cyber-Physical Systems: A Zonotopic Approach

False Data-Injection Attack Detection in Cyber–Physical Systems with Unknown Parameters: A Deep Reinforcement Learning Approach

Side Information-Based Stealthy False Data Injection Attacks Against Multi-Sensor Remote Estimation