The ORCHIDS intrusion detection tool

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 286-290

  Olivain, Julien ^a   Goubault Larrecq, Jean ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; FORMAL LOGIC; MATHEMATICAL MODELS;

INTRUSION SIGNATURES; ON-LINE MODEL CHECKING;

ONLINE SYSTEMS;

EID: 26444570266     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_28     Document Type: Conference Paper

References (7)

1. J. Goubault-Larrecq. Un algorithme pour l'analyse de logs. Research Report LSV-02-18, Lab. Specification and Verification, ENS de Cachan, Cachan, France, Nov. 2002. 33 pages.
2. J. Goubault-Larrecq, J.-P. Pouzol, S. Demri, L. Mé, and P. Carle. Langages de détection d'attaques par signatures. Sous-projet 3, livrable 1 du projet RNTL DICO. Version 1, June 2002. 30 pages.
3. A. Morton and P. Starzetz. Linux kernel do_brk function boundary condition vulnerability. http://www.securityfocus.com/bid/9138, Dec. 2003. References CAN-2003-0961 (CVE), BugTraq Id 9138.
4. J. Olivain. ORCHIDS - real-time event analysis and temporal correlation for intrusion detection in information systems, http://www.lsv.ens-cachan.fr/ orchids/, 2004.
5. W. Purczyński. Linux kernel privileged process hijacking vulnerability. http://www.securityfocus.com/bid/7112, Mar. 2003. BugTraq Id 7112.
6. M. Roger and J. Goubault-Larrecq. Log auditing through model checking. In Proc. 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Nova Scotia, Canada, June 2001, pages 220-236. IEEE Comp. Soc. Press, 2001.
7. P. Wolper. Temporal logic can be more expressive. Information and Control, 56(1/2):72-99, 1983.