Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.

Ramtin Aryan Anis Yazidi Adel Bouhoula Paal Einar Engelstad

Published in: LCN (2020)

Keyphrases

anomaly detection
data driven
high resolution
semi automatic
data mining
information retrieval
information systems
fully automatic
higher resolution
formal model
tree search
clause learning
consequence finding