First
Workshop on
Intelligent Security
(Security and Artificial Intelligence)
SecArt '09
The workshop is half-day. The following program is
preliminary. Talks are allocated a slot of 30 mins,
but should be prepared for 20 min, allowing 10 min
discussion. Maybe we adopt the model of the verification
workshop with one opponent in the audience.
The invited talk has 15 min extra.
- 8:50 Wellcome
- 9:00
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
- 9:30
Robert P. Goldman and Steven A. Harp
Model-based Intrusion Assessment in Common Lisp
- 10:00 Stefan Edelkamp, Thomas Wagner and Peter Kissmann
Cost-Optimal Symbolic Abduction for Improved Security
- 10:30 Coffee Break
- 10:50 Christopher W. Geib
Toward Using Plan Recognition for Intrusion Detection
- 11:20
Nirnay Ghosh and S. K. Ghosh
An Intelligent Technique for Generating Minimal Attack Graph
- 11:50 Stretch
- 12:00
Stefan Edelkamp, Carsten Elfers, Mirko Horstmann, Marcus-Sebastian
Schroeder, Karsten Sohr and
Thomas Wagner
Early Warning and Intrusion Detection based on
Combined AI Methods
- 12:30 (I. Boureanu, M. Cohen, and) A. Lomuscio - Invited
A Compilation Method for the Verification of
Temporal-Epistemic Properties of Cryptographic
Protocols
- 13:15 Discussion
- 13:30 End of Workshop
Support:
Squis 
|
