Skip to main content
Article thumbnail
Location of Repository

Quantitative Analysis of the Leakage of Confidential Data

By David Clark, Sebastian Hunt and Pasquale Malacaria

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

Year: 2001
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.7629
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.soi.city.ac.uk/~seb... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.