FlowChecker: configuration analysis and verification of federated openflow infrastructures
Firewall design: consistency, completeness, and compactness