Applied Quantitative Information Flow and Statistical Databases

  • Jonathan Heusser
  • Pasquale Malacaria
Conference paper

DOI: 10.1007/978-3-642-12459-4_8

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5983)
Cite this paper as:
Heusser J., Malacaria P. (2010) Applied Quantitative Information Flow and Statistical Databases. In: Degano P., Guttman J.D. (eds) Formal Aspects in Security and Trust. FAST 2009. Lecture Notes in Computer Science, vol 5983. Springer, Berlin, Heidelberg

Abstract

We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of states fit into that theoretical framework.

The paper presents a new method and implementation to automatically calculate such partitions, and compares it to existing approaches. As a novel application, we describe a way to transform database queries into a suitable program form which then can be statically analysed to measure its leakage and to spot database inference threats.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jonathan Heusser
    • 1
  • Pasquale Malacaria
    • 1
  1. 1.School of Electronic Engineering and Computer ScienceQueen Mary University of London 

Personalised recommendations