TY - CHAP
T1 - Automatically calculating quantitative integrity measures for imperative programs
AU - Chothia, Tom
AU - Novakovic, Christopher
AU - Singh, Rajiv Ranjan
PY - 2015
Y1 - 2015
N2 - This paper presents a framework for calculating measures of data integrity for programs in a small imperative language. We develop a Markov chain semantics for our language which calculates Clarkson and Schneider’s definitions of data contamination and suppression. These definitions are based on conditional mutual information and entropy; we present a result relating them to mutual information, which can be calculated by a number of existing tools. We extend a quantitative information flow tool (CH-IMP) to calculate these measures of integrity and demonstrate this tool with examples based on error correcting codes, the Dining Cryptographers protocol and the attempts by a number of banks to influence the Libor rate.
AB - This paper presents a framework for calculating measures of data integrity for programs in a small imperative language. We develop a Markov chain semantics for our language which calculates Clarkson and Schneider’s definitions of data contamination and suppression. These definitions are based on conditional mutual information and entropy; we present a result relating them to mutual information, which can be calculated by a number of existing tools. We extend a quantitative information flow tool (CH-IMP) to calculate these measures of integrity and demonstrate this tool with examples based on error correcting codes, the Dining Cryptographers protocol and the attempts by a number of banks to influence the Libor rate.
UR - http://www.scopus.com/inward/record.url?scp=84926669767&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-17016-9_16
DO - 10.1007/978-3-319-17016-9_16
M3 - Chapter
AN - SCOPUS:84926669767
SN - 9783319170152
VL - 8872
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 250
EP - 265
BT - Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
A2 - Garcia-Alfaro, Joaquin
A2 - Herrera-Joancomartí, Jordi
A2 - Lupu, Emil
PB - Springer
T2 - 9th International Workshop on Data Privacy Management, DPM 2014, 7th International Workshop on Autonomous and Spontaneous Security, SETOP 2014 and 3rd International Workshop on Quantitative Aspects in Security Assurance, QASA 2014 held in conjunction with 19th Annual European Research Event in Computer Security Symposium, ESORICS 2014
Y2 - 10 September 2014 through 11 September 2014
ER -