Inductive Trace Properties for Computational Security.

Arnab Roy Anupam Datta Ante Derek John C. Mitchell

Published in: IACR Cryptol. ePrint Arch. (2006)

Keyphrases

information security
desirable properties
security issues
intrusion detection
inductive learning
security properties
neural network
machine learning
access control
security systems
operating system
inductive logic programming
computational models
security management
information assurance