A Survey of Securing Networks Using Software Defined Networking
FlowChecker: configuration analysis and verification of federated openflow infrastructures