SPHINX: Detecting Security Attacks in Software-Defined Networks.
Real Time Network Policy Checking using Header Space Analysis