Integrity of intention (a theory of types for security APIs).

Mike Bond Jolyon Clulow

Published in: Inf. Secur. Tech. Rep. (2006)

Keyphrases

data integrity
security requirements
high assurance
information security
network security
intrusion detection
theoretical framework
security policies
statistical databases
data security
integrity verification