First Workshop on
Intelligent Security
(Security and Artificial Intelligence)
SecArt '09

---

Accepted Papers

• Sascha Bastke, Mathias Deml and Sebastian Schmidt

  Combining statistical network data, probabilistic neural networks and the computational power of GPUs for anomaly detection in computer networks

• Robert P. Goldman and Steven A. Harp

  Model-based Intrusion Assessment in Common Lisp

• Stefan Edelkamp, Thomas Wagner and Peter Kissmann

  Cost-Optimal Symbolic Abduction for Improved Security

• Christopher W. Geib

  Toward Using Plan Recognition for Intrusion Detection

• I. Boureanu, M. Cohen, and A. Lomuscio

  A Compilation Method for the Verification of Temporal-Epistemic Properties of Cryptographic Protocols

• Nirnay Ghosh and S. K. Ghosh

  An Intelligent Technique for Generating Minimal Attack Graph

• Stefan Edelkamp, Carsten Elfers, Mirko Horstmann, Marcus-Sebastian Schroeder, Karsten Sohr and Thomas Wagner

  Early Warning and Intrusion Detection based on Combined AI Methods

Support:

Squis

---