SDN Security: A Survey
FlowChecker: configuration analysis and verification of federated openflow infrastructures