ATLANTIDES: An Architecture for Alert Verification in Network Intrusion Detection Systems.
Damiano BolzoniBruno CrispoSandro EtallePublished in: LISA (2007)
Keyphrases
- network intrusion detection systems
- intrusion detection
- intrusion detection system
- network intrusion
- alert correlation
- anomaly detection
- model checking
- information systems
- network intrusion detection
- network security
- formal verification
- signature verification
- information retrieval
- network traffic
- computer networks
- asynchronous circuits
- verification method
- false acceptance rate
- data processing
- social networks