Login / Signup
Knowledge-Based Security of Dynamic Secrets for Reactive Programs.
McKenna McCall
Hengrun Zhang
Limin Jia
Published in:
CSF (2018)
Keyphrases
</>
information security
security requirements
expert systems
intrusion detection
computer security
information retrieval
access control
statistical databases
security analysis
authentication protocol
information assurance