A security enforcement kernel for OpenFlow networks
ANICEWaytoTest OpenFlowApplications