Login / Signup
A verified information-flow architecture.
Arthur Azevedo de Amorim
Nathan Collins
André DeHon
Delphine Demange
Catalin Hritcu
David Pichardie
Benjamin C. Pierce
Randy Pollack
Andrew Tolmach
Published in:
J. Comput. Secur. (2016)
Keyphrases
</>
information flow
social networks
reactive systems
information flows
information security
communication networks
functional modules
flow analysis
supply chain
information propagation
data mining
process management
information transfer
flow graph
multi context systems