Type-Driven Gradual Security with References.

Matías Toro Ronald Garcia Éric Tanter

Published in: ACM Trans. Program. Lang. Syst. (2018)

Keyphrases

database
neural network
access control
security policies
statistical databases
security requirements
security management
information assurance
information systems
intrusion detection
network security
security issues
security analysis