Verifying that a compiler preserves concurrent value-dependent information-flow security.

Robert Sison Toby C. Murray

Published in: CoRR (2019)

Keyphrases

information flow
information security
flow analysis
multi threaded
social networks
communication networks
information flows
emergency management
flow graph
intrusion detection
programming language
model checking
supply chain
access control
knowledge management
real world
information propagation
databases