FSM Anomaly Detection Using Formal Analysis.
Farimah FarahmandiPrabhat MishraPublished in: ICCD (2017)
Keyphrases
- formal analysis
- anomaly detection
- intrusion detection
- detecting anomalies
- anomalous behavior
- formal methods
- network intrusion detection
- unsupervised anomaly detection
- network traffic
- intrusion detection system
- agent model
- behavior analysis
- detect anomalies
- network security
- one class support vector machines
- detecting anomalous
- ban logic
- network anomaly detection
- negative selection algorithm
- cumulative sum
- computer security
- unsupervised learning
- data mining
- machine learning