V-Sketch: A Sketch-Based Verification Mechanism for Logical-Physical Rule Consistency in SDN.

Kejian Li, Yang Du, Guoju Gao, He Huang, Yu-E Sun

Browse the full ICA3PP paper archive.