Sciweavers

IFIP
2009
Springer

Applied Quantitative Information Flow and Statistical Databases

14 years 5 months ago
Applied Quantitative Information Flow and Statistical Databases
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.
Jonathan Heusser, Pasquale Malacaria
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where IFIP
Authors Jonathan Heusser, Pasquale Malacaria
Comments (0)