Verification condition generation for conditional information flow.

Torben Amtoft Anindya Banerjee

Published in: FMSE (2007)

Keyphrases

information flow
social networks
flow analysis
supply chain
sufficient conditions
communication networks
model checking
functional modules
information flows
flow graph
multi threaded
information security
software engineering
databases
reactive systems
information propagation
multi context systems