Real time network policy checking using header space analysis

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013

Volumn , Issue , 2013, Pages 99-111

  Kazemian, Peyman ^a,c   Chang, Michael ^a   Zeng, Hongyi ^a   Varghese, George ^b   McKeown, Nick ^a   Whyte, Scott ^c  

^a STANFORD UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c GOOGLE INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

CORRECTNESS CONDITIONS; CRITICAL SERVICE; CUSTOMER DEMANDS; DEPENDENCY GRAPHS; LOAD CONDITION; NETWORK STATE; REAL TIME NETWORK; SPACE ANALYSIS;

COMPLIANCE CONTROL;

EID: 85076709056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. M. Canini, D. Venzano, P. Perešíni, D. Kostić, and J. Rexford. A NICE way to test openflow applications. In Proceedings of NSDI'12, 2012.
2. N. Feamster and H. Balakrishnan. Detecting BGP configuration faults with static analysis. In Proceedings of NSDI'05, pages 43-56, 2005.
3. N. Foster, R. Harrison, M. J. Freedman, C. Monsanto, J. Rexford, A. Story, and D. Walker. Frenetic: a network programming language. SIGPLAN Not., 46(9):279-291, Sept. 2011.
4. N. Handigol, B. Heller, V. Jeyakumar, D. Maziéres, and N. McKeown. Where is the debugger for my software-defined network? In Proceedings of HotSDN'12, pages 55-60, 2012.
5. Header Space Library and NetPlumber. https://bitbucket.org/peymank/hassel-public/.
6. T. L. Hinrichs, N. S. Gude, M. Casado, J. C. Mitchell, and S. Shenker. Practical declarative network management. In Proceedings of WREN'09, pages 1-10, 2009.
7. The Internet2 Observatory Data Collections. http://www.internet2.edu/observatory/archive/data-collections.html.
8. P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: static checking for networks. In Proceedings of NSDI'12, 2012.
9. A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey. Veriflow: verifying network-wide invariants in real time. In Proceedings of NSDI'13, 2013.
10. H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. B. Godfrey, and S. T. King. Debugging the data plane with anteater. In Proceedings of SIGCOMM'11, pages 290-301, 2011.
11. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. OpenFlow: enabling innovation in campus networks. SIGCOMM CCR., 38:69-74, March 2008.
12. Protobuf. http://code.google.com/p/protobuf/.
13. M. Reitblatt, N. Foster, J. Rexford, C. Schlesinger, and D. Walker. Abstractions for network update. In Proceedings of SIGCOMM'12, pages 323-334, 2012.
14. A. Wundsam, D. Levin, S. Seetharaman, and A. Feldmann. OFRewind: enabling record and replay troubleshooting for networks. In Proceedings of USENIXATC'11, 2011.
15. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. A Survey on Network Troubleshooting. Technical Report Stanford/TR12-HPNG-061012, Stanford University, June 2012.
16. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. Automatic Test Packet Generation. In Proceedings of CoNEXT 2012, Nice, France, December 2012.