Information Flow Noninterference via Slicing.

Daniel Wasserrab

Published in: Arch. Formal Proofs (2010)

Keyphrases

information flow
information flows
security policies
flow analysis
social networks
communication networks
functional modules
flow graph
program slicing
multi context systems
information diffusion
supply chain
information security
multi threaded
information sharing
real world
database