Firewall anomaly detection with a model checker for visibility logic.
Bassam KhorchaniSylvain HalléRoger VillemairePublished in: NOMS (2012)
Keyphrases
- anomaly detection
- model checker
- intrusion detection
- model checking
- network traffic
- intrusion detection system
- formal verification
- formal methods
- description language
- network security
- temporal logic
- set theory
- formal specification
- detecting anomalies
- test suite
- network intrusion detection
- network anomaly detection
- specification language
- anomalous behavior
- detect anomalies
- ai planning
- planning domains
- neural network
- one class support vector machines
- unsupervised learning
- active learning
- training data
- feature extraction
- computer vision
- normal behavior
- learning algorithm
- rough sets
- test cases
- software architecture