Logo image
Back
Design-time Quantification of Integrity in Cyber-physical Systems
Conference proceeding

Design-time Quantification of Integrity in Cyber-physical Systems

Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa and ACM
Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, Vol.2017-, pp.63-74
ACM Conferences
CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security
30/10/2017
DOI: https://doi.org/10.1145/3139337.3139347

Abstract

Security and privacy -- Formal methods and theory of security -- Formal security models Security and privacy -- Formal methods and theory of security -- Logic and verification Security and privacy -- Systems security -- Information flow control Theory of computation -- Logic -- Logic and verification
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 they are also present to and fro the two levels. In this work, we provide a methodology to formally analyse a composite, cyber-physical system 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.

Metrics

1 Record Views

Details

Logo image