SIMPLE-fying middlebox policy enforcement using SDN
Header space analysis: Static checking for networks