2016 · 23 citations · 14 references
ComputingComputer ScienceCybersecurityAuthenticationComputer SecurityCyber-physical SystemsAdversary TechniquesCyber-physical SecurityIndustrial Control Systems SecuritySystem SecurityThreat DetectionAdversary ModelAttack Detection In Cyber-physical SystemsCyber-physical Attack DetectionCyber-physical System SecurityIndustrial Control SystemsIntegrityLinear Quadratic RegulatorWatermark Detection
We address detection of attacks against cyber-physical systems. Cyber-physical systems are industrial control systems upgraded with novel computing, communication and interconnection capabilities. In this paper we reexamine the security of a detection scheme proposed by Mo and Sinopoli (2009) and Mo et al. (2015). The approach complements the use of Kalman filters and linear quadratic regulators, by adding an authentication watermark signal for the detection of integrity attacks. We show that the approach only detects cyber adversaries, i.e., attackers with the ability to eavesdrop information from the system, but that do not attempt to acquire any knowledge about the system model itself. The detector fails at covering cyber-physical adversaries, i.e., attackers that, in addition to the capabilities of the cyber adversary, are also able to infer the system model to evade the detection. We discuss an enhanced scheme, based on a multi-watermark authentication signal, that properly detects the two adversary models.
14
A secure control framework for resource-limited adversaries
André Teixeira, Iman Shames, Henrik Sandberg et al. · Automatica · 2014 · 1.2K citations · Full text
Secure control against replay attacks
Yilin Mo, Bruno Sinopoli · 2009 · 900 citations