The Orchids Intrusion Detection Tool-Reference-Cited by-同舟云学术

The Orchids Intrusion Detection Tool

Published:2005 Issue: Volume: Page:286-290
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Olivain Julien,Goubault-Larrecq Jean

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11513988_28.pdf

Reference7 articles.

1. Goubault-Larrecq, J.: Un algorithme pour l’analyse de logs. Research Report LSV-02-18, Lab. Specification and Verification, ENS de Cachan, Cachan, France, 33 pages (November 2002)

2. Goubault-Larrecq, J., Pouzol, J.-P., Demri, S., Mé, L., Carle, P.: Langages de détection d’attaques par signatures. Sous-projet 3, livrable 1 du projet RNTL DICO. Version 1, 30 pages (June 2002)

3. Morton, A., Starzetz, P.: Linux kernel do_brk function boundary condition vulnerability. References CAN-2003-0961 (CVE), BugTraq Id 9138 (December 2003), http://www.securityfocus.com/bid/9138

4. Olivain, J.: ORCHIDS—real-time event analysis and temporal correlation for intrusion detection in information systems (2004), http://www.lsv.ens-cachan.fr/orchids/

5. Purczyński, W.: Linux kernel privileged process hijacking vulnerability. BugTraq Id 7112 (March 2003), http://www.securityfocus.com/bid/7112

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Stream-Based Approach to Intrusion Detection;CyberSecurity in a DevOps Environment;2023-08-23

2. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04

3. On the complexity of monitoring Orchids signatures, and recurrence equations;Formal Methods in System Design;2017-10-28

4. R2U2: monitoring and diagnosis of security threats for unmanned aerial systems;Formal Methods in System Design;2017-04-12

5. On the Complexity of Monitoring Orchids Signatures;Runtime Verification;2016