Sciweavers

Share
IEEEARES
2009
IEEE

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

11 years 3 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this computation into probabilistic semantics. Our semantic functions provide information flow measurement for programs given secure inputs under any probability distribution. The major contribution is an automatic quantitative analyzer based on the leakage definition for such a language. While-loops are handled by applying entropy of generalized distributions and related properties in order to provide the analysis with the ability to incorporate the observation of elapsed time.
Chunyan Mu, David Clark
Added 19 Feb 2011
Updated 19 Feb 2011
Type Journal
Year 2009
Where IEEEARES
Authors Chunyan Mu, David Clark
Comments (0)
books