Login / Signup
Secure Information Flow by Self-Composition.
Gilles Barthe
Pedro R. D'Argenio
Tamara Rezk
Published in:
CSFW (2004)
Keyphrases
</>
multi agent systems
information flow
flow analysis
information flows
social networks
communication networks
flow graph
key management
functional modules
supply chain
multi threaded
information security
reactive systems
information diffusion
social network analysis
information propagation
multi context systems