Limitations on Observability of Effects in Cyber-Physical Systems

03/22/2019
by   Suresh K. Damodaran, et al.
0

Increased interconnectivity of Cyber-Physical Systems, by design or otherwise, increases the cyber attack surface and attack vectors. Observing the effects of these attacks is helpful in detecting them. In this paper, we show that many attacks on such systems result in a control loop effect we term Process Model Inconsistency (PMI). Our formal approach elucidates the relationships among incompleteness, incorrectness, safety, and inconsistency of process models. We show that incomplete process models lead to inconsistency. Surprisingly, inconsistency may arise even in complete and correct models. We illustrate our approach through an Automated Teller Machine (ATM) example, and describe the practical implications of the theoretical results.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/06/2021

Automated Malware Design for Cyber Physical Systems

The design of attacks for cyber physical systems is critical to assess C...
research
06/16/2018

Attack Surface Metrics and Privilege-based Reduction Strategies for Cyber-Physical Systems

Cybersecurity risks are often managed by reducing the system's attack su...
research
12/20/2021

TFDPM: Attack detection for cyber-physical systems with diffusion probabilistic models

With the development of AIoT, data-driven attack detection methods for c...
research
09/15/2020

Data Poisoning Attacks on Regression Learning and Corresponding Defenses

Adversarial data poisoning is an effective attack against machine learni...
research
02/12/2019

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)

We apply formal methods to lay and streamline theoretical foundations to...
research
12/04/2020

Cross-Layer Coordinated Attacks on Cyber-Physical Systems: A LQG Game Framework with Controlled Observations

In this work, we establish a game-theoretic framework to study cross-lay...
research
02/14/2022

Secure-by-Construction Synthesis of Cyber-Physical Systems

Correct-by-construction synthesis is a cornerstone of the confluence of ...

Please sign up or login with your details

Forgot password? Click here to reset