Real Time Network Policy Checking Using Header Space Analysis

Peyman Kazemian, Michael Chan, Hongyi Zeng, George Varghese, Nick McKeown, Scott Whyte. Real Time Network Policy Checking Using Header Space Analysis. In Nick Feamster, Jeffrey C. Mogul, editors, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013, Lombard, IL, USA, April 2-5, 2013. pages 99-111, USENIX Association, 2013. [doi]

Abstract

Abstract is missing.