Multi-agent based intrusion prevention and mitigation architecture for software defined networks
FlowChecker: configuration analysis and verification of federated openflow infrastructures