Model-Based Intrusion Detection by Abstract Interpretation.
Jingyu HuaTakashi NishideKouichi SakuraiPublished in: SAINT (2010)
Keyphrases
- intrusion detection
- abstract interpretation
- intrusion detection system
- termination analysis
- anomaly detection
- static analysis
- network security
- network intrusion detection
- network intrusion
- high detection rate
- model checking
- detecting anomalous
- network traffic
- active rules
- dynamic analysis
- information security
- reasoning engine
- alert correlation
- data mining
- data mining techniques
- artificial immune
- network attacks
- database
- intrusion prevention
- distributed systems
- query processing
- relational databases
- real world
- databases