@inproceedings {180298, author = {Peyman Kazemian and Michael Chang and Hongyi Zeng and George Varghese and Nick McKeown and Scott Whyte}, title = {Real Time Network Policy Checking Using Header Space Analysis}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {99--111}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/kazemian}, publisher = {USENIX Association}, month = apr }