Login / Signup
Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.
Toby C. Murray
Robert Sison
Edward Pierzchalski
Christine Rizkallah
Published in:
CSF (2016)
Keyphrases
</>
model checking
verification method
security policies
databases
face verification
data sets
information retrieval
website
search algorithm
query refinement
signature verification
formal verification
concurrent systems
concurrent execution
false acceptance