Design-Time Quantification of Integrity in Cyber-Physical-Systems

2017/08/16 by Morris, Eric Rothstein, Murguia, Carlos G., Ochoa, Martín · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences

paper · doi:10.48550/arxiv.1708.04798

Abstract

In a software system it is possible to quantify the amount of information that is leaked or corrupted by analysing the flows of information present in the source code. In a cyber-physical system, information flows are not only present at the digital level, but also at a physical level, and to and fro the two levels. In this work, we provide a methodology to formally analyse a Cyber-Physical System composite model (combining physics and control) using an information flow-theoretic approach. We use this approach to quantify the level of vulnerability of a system with respect to attackers with different capabilities. We illustrate our approach by means of a water distribution case study.

Cited by

• Quantifying Security for Networked Control Systems: A Review

Related

• Information Flow for Security in Control Systems
• A Formal Approach to Cyber-Physical Attacks
• Attack Detection and Identification in Cyber-Physical Systems -- Part I: Models and Fundamental Limitations
• Investigation of Cyber Attacks on a Water Distribution System
• Identifying Security-Critical Cyber-Physical Components in Industrial Control Systems