On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems.
Frédéric MassicotteYvan LabichePublished in: ISSRE (2012)
Keyphrases
- network intrusion detection systems
- intrusion detection system
- intrusion detection
- network intrusion
- network intrusion detection
- anomaly detection
- network traffic
- network security
- computer networks
- computer security
- databases
- formal verification
- model checking
- information security
- computer systems
- pairwise
- verification method
- data mining
- data mining techniques
- supervised learning
- object recognition
- face verification
- data streams
- pattern recognition
- support vector
- real world