Login / Signup
Calculational Design of Information Flow Monitors (extended version).
Mounir Assaf
David A. Naumann
Published in:
CoRR (2016)
Keyphrases
</>
information flow
case study
flow analysis
multi context systems
databases
data processing
design process
theorem proving
information diffusion
functional modules
process management
information flows