Athena: A Framework for Scalable Anomaly Detection in Software-Defined Networks
Header space analysis: Static checking for networks