Formal Reasoning About Intrusion Detection Systems.
Tao SongCalvin KoJim Alves-FossCui ZhangKarl N. LevittPublished in: RAID (2004)
Keyphrases
- intrusion detection system
- intrusion detection
- network security
- computer networks
- anomaly detection
- network intrusion detection
- network traffic
- distributed intrusion detection
- computer systems
- computer security
- intrusion prevention
- alert correlation
- network intrusion detection systems
- data mining techniques
- network intrusions
- attack detection
- cyber security
- security architecture
- normal behavior
- cyber attacks
- information retrieval
- network intrusion
- denial of service attacks
- misuse detection
- database