Login / Signup
On the verification of system-level information flow properties for virtualized execution platforms.
Christoph Baumann
Oliver Schwarz
Mads Dam
Published in:
J. Cryptogr. Eng. (2019)
Keyphrases
</>
information flow
flow analysis
social networks
information flows
communication networks
supply chain
cloud computing
information security
flow graph
functional modules
multi threaded
multi context systems
workflow management systems
reactive systems
information propagation