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

Eric Rothstein Morris, Carlos G. Murguia, Martín Ochoa

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-p…