Login / Signup
A Dependent Security Type System for Concurrent Imperative Programs.
Toby C. Murray
Robert Sison
Edward Pierzchalski
Christine Rizkallah
Published in:
Arch. Formal Proofs (2016)
Keyphrases
</>
imperative programs
information security
access control
intrusion detection
security requirements
network security
statistical databases
security issues
knowledge base
mobile devices
distributed systems
security policies
security analysis
security level