Login / Signup
Cryptographically Assured Information Flow: Assured Remote Execution.
Scott L. Dyer
Christian A. Femrite
Joshua D. Guttman
Julian P. Lanson
Moses D. Liskov
Published in:
CoRR (2024)
Keyphrases
</>
information flow
social networks
flow analysis
information flows
communication networks
functional modules
supply chain
information security
reactive systems
flow graph
real time
real world
case study
propositional logic
multi threaded
multi context systems