Automatically calculating quantitative integrity measures for imperative programs

Tom Chothia, Christopher Novakovic, Rajiv Ranjan Singh

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

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
PublisherSpringer
Pages250-265
Number of pages16
Volume8872
ISBN (Electronic)9783319170169
ISBN (Print)9783319170152
DOIs
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
Country/TerritoryPoland
CityWroclaw
Period10/09/1411/09/14

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint

Dive into the research topics of 'Automatically calculating quantitative integrity measures for imperative programs'. Together they form a unique fingerprint.

Cite this