A Type-Based Approach to Program Security.

Dennis M. Volpano Geoffrey Smith

Published in: TAPSOFT (1997)

Keyphrases

access control
network security
computer security
security systems
test cases
information security
statistical databases
neural network
intrusion detection
security policies
security properties
website
e government
security problems