Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning".
Lujo BauerSandro EtalleJerry den HartogLuca ViganòPublished in: J. Autom. Reason. (2011)
Keyphrases
- computer security
- automated reasoning
- special issue
- knowledge representation
- theorem proving
- computer systems
- information security
- anomaly detection
- theorem prover
- ai edam
- intrusion detection
- international workshop
- international journal
- network security
- ecml pkdd
- artificial intelligence
- probabilistic reasoning
- applied intelligence
- intrusion detection system
- network intrusion detection
- information systems
- neural network
- first order logic
- machine learning