|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
Quantified Analysis of the Leakage of Confidential Data
Clark, David and Hunt, Sebastian and Malacaria, Pasquale (2002) Quantified Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science, 59 (3). pp. 1-14.
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.
Repository Staff Only: item control page