Sciweavers

Share
FORTE
2004

A Temporal Logic Based Framework for Intrusion Detection

9 years 1 months ago
A Temporal Logic Based Framework for Intrusion Detection
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expressively rich and efficiently monitorable logic called EAGLE. EAGLE supports data-values and parameterized recursive equations, and allows us to succinctly express security attacks with complex temporal event patterns, as well as attacks whose signatures are inherently statistical in nature. We use an online monitoring algorithm that matches specifications of the absence of an attack, with system execution traces, and raises an alarm whenever the specification is violated. We present our implementation of this approach in a prototype tool, called MONID and report our results obtained by applying it to detect a variety of security attacks in log-files provided by DARPA. Key Words: Intrusion detection, security, temporal logic, runtime monitoring.
Prasad Naldurg, Koushik Sen, Prasanna Thati
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2004
Where FORTE
Authors Prasad Naldurg, Koushik Sen, Prasanna Thati
Comments (0)
books