Quantitative Analysis of the Leakage of Confidential Data (2001)
by
David Clark
,
Sebastian Hunt
,
Pasquale Malacaria
| Citations: | 42 - 4 self |
BibTeX
@MISC{Clark01quantitativeanalysis,
author = {David Clark and Sebastian Hunt and Pasquale Malacaria},
title = { Quantitative Analysis of the Leakage of Confidential Data},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated.
Citations
| 462 | Cryptographyand Data Security - Denning - 1982 |
| 185 | A mathematical theory of communication. Bell System Tech - Shannon - 1948 |
| 104 | Probabilistic noninterference for multithreaded programs - Sabelfeld, Sands - 2000 |
| 81 | A PER model of secure information flow in sequential programs - Sabelfeld, Sands |
| 80 | Toward a mathematical foundation for information flow security - Gray - 1991 |
| 56 | Covert channel capacity - Millen - 1987 |
| 50 | Guessing and entropy - MASSEY - 1994 |
| 48 | Verifying secrets and relative secrecy - Volpano, Smith - 2000 |
