M4D4: a Logical Framework to Support Alert Correlation in Intrusion Detection

Managing and supervising security in large networks has become a challenging task, as new threats and aws are being discovered on a daily basis. This requires an in depth and up-to-date knowledge of the context in which security-related events occur. Several tools have been proposed to support security operators in this task, each of which focuses on some specic aspects of the monitoring. Many alarm fusion and correlation approaches have also been investigated. However, most of these approaches suer from two major drawbacks. First, they only take advantage of the information found in alerts, which is not sucient to achieve the goals of alert correlation, that is to say to reduce the overall amount of alerts, while enhancing their semantics. Second, these techniques have been designed on an ad-hoc basis and lack a shared data model that would allow them to reason about events in a cooperative way. In this paper, we propose a federative data model for security systems to query and assert knowledge about security incidents and the context in which they occur. This model constitutes a consistent and formal ground to represent information that is required to reason about complementary evidences, in order to conrm or invalidate alerts raised by intrusion detection systems.