Sign in
Addressing covert termination and timing channels in concurrent information flow systems.
Deian Stefan
Alejandro Russo
Pablo Buiras
Amit Levy
John C. Mitchell
David Mazières
Published in:
ICFP (2012)
Keyphrases
</>
information flow
reactive systems
flow analysis
social networks
information security
information flows
communication networks
multi threaded
database
dynamic aspects
distributed systems
rewrite systems
flow graph
emergency management
computer systems
intelligent systems
multi agent
metadata
real world