Flow-sensitive semantics for dynamic information flow policies.

Niklas Broberg David Sands

Published in: PLAS (2009)

Keyphrases

information flow
flow analysis
dynamic aspects
information flows
communication networks
social networks
supply chain
dynamic environments
information security
functional modules
flow graph
logic programming
databases
petri net
multi context systems