Login / Signup
Preserving Information Flow Properties under Refinement.
Heiko Mantel
Published in:
IEEE Symposium on Security and Privacy (2001)
Keyphrases
</>
information flow
flow analysis
information flows
social networks
flow graph
communication networks
functional modules
multi threaded
supply chain
multi context systems
information security
reactive systems
real world
information technology