Skip to main content
Conference ProceedingsOPEN ACCESS

The ORCHIDS intrusion detection tool

Lecture Notes in Computer Science (2005) 3576 286-290
DOI: 10.1007/11513988_28
31Citations
Citations of this article
15Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrusion signatures. They are checked against merged network and system event flows, which together form a linear Kripke structure. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Olivain, J., & Goubault-Larrecq, J. (2005). The ORCHIDS intrusion detection tool. In Lecture Notes in Computer Science (Vol. 3576, pp. 286–290). Springer Verlag. https://doi.org/10.1007/11513988_28

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free