Formal Technique for Discovering Complex Attacks in Computer Systems
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
Event-driven architecture based on patterns for detecting complex attacks
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
The aim of this paper is to propose a new formal technique for modeling system vulnerabilities and automatic generation of attack scenarios exploiting these vulnerabilities for intrusion detection systems. Our technique is generic and can be applied to various domains including web services, web servers, distributed applications using the Internet, etc.