A misuse-based network Intrusion Detection System using Temporal Logic and stream processing.
Abdulbasit AhmedAlexei LisitsaClare DixonPublished in: NSS (2011)
Keyphrases
- temporal logic
- stream processing
- intrusion detection system
- intrusion detection
- model checking
- data processing
- continuous queries
- anomaly detection
- data streams
- stream data
- stream processing systems
- network traffic
- query processing
- streaming data
- query execution
- linear temporal logic
- belief revision
- verification method
- computation tree logic
- data mining techniques
- query optimization
- event processing
- multi dimensional
- data flow
- database systems
- data analysis