SymNet: Static checking for stateful networks

HotMiddlebox 2013 - Proceedings of the 2013 Workshop on Hot Topics in Middleboxes and Network Function Virtualization

Volumn , Issue , 2013, Pages 31-36

  Stoenescu, Radu ^a   Popovici, Matei ^a   Negreanu, Lorina ^a   Raiciu, Costin ^a  

^a UNIVERSITY POLITEHNICA OF BUCHAREST   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

TOOLS; VIRTUAL REALITY;

MIDDLEBOXES; NETWORK CONFIGURATION; NETWORK PROPERTIES; PACKET FLOWS; PACKET MODIFICATIONS; PER-FLOW STATE; REACHABILITY; STATIC CHECKING;

COMPLEX NETWORKS;

EID: 84893362685     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2535828.2535835     Document Type: Conference Paper

References (8)

1. Peyman Kazemian, Michael Chang, Hongyi Zeng, George Varghese, Nick McKeown, and Scott Whyte. Real time network policy checking using header space analysis. In NSDI, nsdi'13, pages 99-112, Berkeley, CA, USA, 2013. USENIX Association.
2. Peyman Kazemian, George Varghese, and Nick McKeown. Header space analysis: static checking for networks. In NSDI, 2012.
3. Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, and M. Frans Kaashoek. The click modular router. ACM Trans. Comput. Syst., 18(3):263-297, August 2000.
4. Haohui Mai and et al. Debugging the data plane with anteater. In Sigcomm, 2011.
5. Costin Raiciu, Christoph Paasch, Sebastien Barre, Alan Ford, Michio Honda, Fabien Duchene, Olivier Bonaventure, and Mark Handley. How hard can it be? designing and implementing a deployable multipath tcp. In Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, NSDI'12, pages 29-29, Berkeley, CA, USA, 2012. USENIX Association.
6. Alfred Tarski. A lattice-theoretical fixpoint theorem and its applications. 1955.
7. Geoffrey G. Xie, Jibin Zhan, David A. Maltz, Hui Zhang, Albert Greenberg, Gisli Hjalmtysson, and Jennifer Rexford. On static reachability analysis of ip networks. In Proceedings of Infocom, 2005.
8. Hongyi Zeng, Peyman Kazemian, George Varghese, and Nick McKeown. Automatic test packet generation. In CONEXT, CoNEXT '12, 2012.