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

David Clark Sebastian Hunt Pasquale Malacaria

Published in: J. Comput. Secur. (2007)

Keyphrases

information flow
static analysis
dynamic analysis
source code
flow analysis
abstract interpretation
symbolic execution
java card
communication networks
information security
data analysis
multi threaded
information flows
social networks
regular expressions
programming language
information systems
flow graph
database