Applied Quantitative Information Flow and Statistical Databases

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… (More)
DOI: 10.1007/978-3-642-12459-4_8

Topics

3 Figures and Tables

Slides referencing similar topics