A static analysis for quantifying information flow in a simple imperative language

ClarkDavid,HuntSebastian,MalacariaPasquale

A static analysis for quantifying information flow in a simple imperative language

2007

ClarkDavid
HuntSebastian
MalacariaPasquale

We propose an approach to quantify interference in a simple imperative language that includes a looping construct. In this paper we focus on a particular case of this definition of interference: le...

Keywords:

Imperative programming
Program analysis
Interference (wave propagation)
Information flow (information theory)
Distributed computing
Confidentiality
Information theory
Computer science
Static analysis

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations