Model Checking for Data Anomaly Detection.

Madalina G. Ciobanu Fausto Fasano Fabio Martinelli Francesco Mercaldo Antonella Santone

Published in: KES (2019)

Keyphrases

anomaly detection
model checking
data sets
temporal logic
detect anomalies
data analysis
knowledge discovery
computer systems
intrusion detection
network traffic
negative selection algorithm
anomalous behavior
normal behavior
network intrusion detection
unsupervised learning
data points
pairwise
data mining