Proxi-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection
- 1 January 2004
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- USTAT: a real-time intrusion detection system for UNIXPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Intrusion detection via static analysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Experiences with Specification-Based Intrusion DetectionLecture Notes in Computer Science, 2001
- From Declarative Signatures to Misuse IDSLecture Notes in Computer Science, 2001
- A BDD-Based Model Checker for Recursive ProgramsLecture Notes in Computer Science, 2001
- Efficient Algorithms for Model Checking Pushdown SystemsLecture Notes in Computer Science, 2000
- Reachability analysis of pushdown automata: Application to model-checkingLecture Notes in Computer Science, 1997