Inductive trace properties for computational security.
Arnab RoyAnupam DattaAnte DerekJohn C. MitchellPublished in: J. Comput. Secur. (2010)
Keyphrases
- machine learning
- access control
- information security
- network security
- security vulnerabilities
- information systems
- inductive reasoning
- neural network
- statistical databases
- desirable properties
- computer networks
- security systems
- computational power
- structural properties
- intrusion detection
- knowledge representation
- knowledge base
- data mining