Gradual Security Types and Gradual Guarantees.

Abhishek Bichhawat McKenna McCall Limin Jia

Published in: CSF (2021)

Keyphrases

access control
real time
computer security
databases
network security
security management
security systems
key management
sensitive data
security issues
security policies
information security
intrusion detection
data management
information systems
search engine
genetic algorithm