Static enforcement of security with types.

Christian Skalka Scott F. Smith

Published in: ICFP (2000)

Keyphrases

access control
information security
information assurance
security policies
security requirements
computer security
security protocols
security problems
information systems
intrusion detection
security issues
security systems
security measures