×

zbMATH — the first resource for mathematics

A temporal logic based framework for intrusion detection. (English) Zbl 1110.68382
de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 359-375 (2004).
Summary: 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.
For the entire collection see [Zbl 1062.68014].
MSC:
68P25 Data encryption (aspects in computer science)
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: DOI