Testing stateful and dynamic data planes with FlowTest

HotSDN 2014 - Proceedings of the ACM SIGCOMM 2014 Workshop on Hot Topics in Software Defined Networking

Volumn , Issue , 2014, Pages 79-84

  Fayaz, Seyed K ^a   Sekar, Vyas ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

network test; policy enforcement; stateful data plane

Indexed keywords

EID: 84907015374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2620728.2620751     Document Type: Conference Paper

References (30)

1. Bit-Twist. http://bittwist.sourceforge.net/.
2. CBMC. http://www.cprover.org/cbmc/.
3. Graphplan. http://www.cs.cmu.edu/~avrim/graphplan.html.
4. Prolexic. http://www.prolexic.com/.
5. pytbull. http://pytbull.sourceforge.net/.
6. T. Ball, N. Bjorner, A. Gember, S. Itzhaky, A. Karbyshev, M. Sagiv, M. Schapira, and A. Valadarskyi. VeriCon: Towards verifying controller programs in software-defined networks. In Proc. PLDI, 2014.
7. C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Proc. OSDI, 2008.
8. M. Canini, D. Venzano, P. Perešíni, D. Kostić, and J. Rexford. A NICE way to test openflow applications. In Proc. NSDI, 2012.
9. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith. Counterexample- guided abstraction refinement. In Computer Aided Verification, volume 1855, pages 154-169. 2000.
10. S. K. Fayazbakhsh, L. Chiang, V. Sekar, M. Yu, and J. C. Mogul. Enforcing network-wide policies in the presence of dynamic middlebox actions using FlowTags. In Proc. NSDI, 2014.
11. 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.
12. A. Gember, A. Krishnamurthy, S. S. John, R. Grandl, X. Gao, A. Anand, T. Benson, V. Sekar, and A. Akella. Stratos: A network-aware orchestration layer for middleboxes in the cloud. CoRR, abs/1305.0209, 2013.
13. A. Gember, P. Prabhu, Z. Ghadiyali, and A. Akella. Toward software-defined middlebox networking. In Proc. HotNets-XI, 2012.
14. N. Handigol, B. Heller, V. Jeyakumar, D. Mazières, and N. McKeown. I know what your packet did last hop: Using packet histories to troubleshoot network. In Proc. NSDI, 2014.
15. M. Honda, Y. Nishida, C. Raiciu, A. Greenhalgh, M. Handley, and H. Tokuda. Is it still possible to extend TCP? In Proc. IMC, 2011.
16. J. Jung, V. Paxson, A. Berger, and H. Balakrishnan. Fast portscan detection using sequential hypothesis testing. In Proc. IEEE Security and Privacy, 2004.
17. P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: static checking for networks. In Proc. NSDI, 2012.
18. A. Khurshid, W. Zhou, M. Caesar, and P. B. Godfrey. Veriflow: verifying network-wide invariants in real time. In Proc. NSDI, 2013.
19. N. McKeown. Mind the Gap: SIGCOMM'12 Keynote. https://www.youtube.com/ watch?v=c9-K5O-qYgA.
20. C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker. Composing software-defined networks. In Proc. NSDI, 2013.
21. Z. Qazi, C. Tu, L. Chiang, R. Miao, and M. Yu. SIMPLE-fying middlebox policy enforcement using sdn. In Proc. SIGCOMM, 2013.
22. P. Quinn et al. Network service chaining problem statement. http://tools.ietf.org/html/draft-quinn-nsc-problem-statement-03.
23. S. Rajagopalan, D. Williams, H. Jamjoom, and A. Warfield. Split/merge: System support for elastic execution in virtual middleboxes. In Proc. NSDI, 2013.
24. S. J. Russell and P. Norvig. Artificial Intelligence: A Modern Approach. Pearson Education, 2003.
25. V. Sekar, N. Egi, S. Ratnasamy, M. K. Reiter, and G. Shi. Design and implementation of a consolidated middlebox architecture. In Proc. NSDI, 2012.
26. J. Sherry, S. Hasan, C. Scott, A. Krishnamurthy, S. Ratnasamy, and V. Sekar. Making middleboxes someone else's problem: Network processing as a cloud service. In Proc. SIGCOMM, 2012.
27. J. Sommers and P. Barford. Self-configuring network traffic generation. In Proc. IMC, 2004.
28. M. Woo, S. K. Cha, S. Gottlieb, and D. Brumley. Scheduling black-box mutational fuzzing. In Proc. CCS, 2013.
29. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. Automatic test packet generation. In Proc. CoNEXT, 2012.
30. Y. Zhuang, E. Gessiou, S. Portzer, F. Fund, M. Muhammad, I. Beschastnikh, and J. Cappos. NetCheck: Network diagnoses from blackbox traces. In Proc. NSDI, 2014.