Distributed firewall anomaly detection through LTL model checking.
Sylvain HalléEric Lunaud NgoupeRoger VillemaireOmar CherkaouiPublished in: IM (2013)
Keyphrases
- model checking
- anomaly detection
- intrusion detection
- network traffic
- intrusion detection system
- temporal logic
- network security
- computer networks
- bounded model checking
- anomalous behavior
- formal verification
- temporal properties
- linear temporal logic
- formal specification
- timed automata
- network intrusion detection
- model checker
- detecting anomalies
- symbolic model checking
- distributed systems
- automated verification
- verification method
- negative selection algorithm
- transition systems
- object recognition
- network anomaly detection
- epistemic logic
- detect anomalies
- one class support vector machines
- computation tree logic
- formal methods
- unsupervised learning
- artificial intelligence
- data mining
- concurrent systems
- bayesian networks
- training data
- machine learning