Automatically calculating quantitative integrity measures for imperative programs

Research output: Chapter in Book/Report/Conference proceedingChapter

Authors

Colleges, School and Institutes

External organisations

  • University of Delhi

Abstract

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.

Details

Original languageEnglish
Title of host publicationData Privacy Management, Autonomous Spontaneous Security, and Security Assurance
Subtitle of host publication9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers
EditorsJoaquin Garcia-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu
Publication statusPublished - 2015
Event9th 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 - Wroclaw, Poland
Duration: 10 Sep 201411 Sep 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8872
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference9th 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
CountryPoland
CityWroclaw
Period10/09/1411/09/14