The Orchids Intrusion Detection Tool

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.

• Type: Conference
• Year: 2005
• Where: CAV
• Authors: Julien Olivain, Jean Goubault-Larrecq
• Keywords: CAV 2005, Formal Methods, Intrusion Detection Tool, Linear Kripke Structure, Temporal Formulae