A simulation-based proof technique for dynamic information flow.

Stephen McCamant Michael D. Ernst

Published in: PLAS (2007)

Keyphrases

information flow
information flows
flow graph
social networks
dynamic aspects
flow analysis
information security
multi threaded
theorem prover
multi context systems
functional modules
communication networks
intrusion detection
supply chain
process management
model checking
information propagation
databases
database