Login / Signup
Secure information flow and program logics.
Lennart Beringer
Martin Hofmann
Published in:
Arch. Formal Proofs (2008)
Keyphrases
</>
information flow
multi context systems
flow analysis
social networks
information flows
supply chain
communication networks
information systems
information security
reactive systems
information propagation
case study
computer networks
functional modules
multi threaded