Is every flow on the right track?: Inspect SDN forwarding with RuleScope

Proceedings - IEEE INFOCOM

Volumn 2016-July, Issue , 2016, Pages

  Bu, Kai ^a   Wen, Xitao ^b   Yang, Bo ^a   Chen, Yan ^b   Li, Li Erran ^c   Chen, Xiaolin ^b,d  

^a ZHEJIANG UNIVERSITY   (China)

^b NORTHWESTERN UNIVERSITY   (United States)

^c FUDAN UNIVERSITY   (China)

^d CHUXIONG NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INSPECTION; NETWORK MANAGEMENT;

ALGORITHM EFFICIENCY; DATA PLANES; DETECTION ALGORITHM; LIMITED BANDWIDTH; PROBE PACKETS; REAL TIME; RELIABLE NETWORKS; SOFTWARE DEFINED NETWORKING (SDN);

FAULT DETECTION;

EID: 84983335666     PISSN: 0743166X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INFOCOM.2016.7524333     Document Type: Conference Paper

References (20)

1. M. Kuzniar, P. Peresini, and D. Kostić, "Providing reliable fib update acknowledgments in sdn," in ACM CoNEXT, 2014, pp. 415-422
2. M. Kuzniar, P. Peresini, and D. Kostic, "What you need to know about sdn flow tables," in PAM, 2015
3. H. H. Liu, S. Kandula, R. Mahajan, M. Zhang, and D. Gelernter, "Traffic engineering with forward fault correction," in ACM SIGCOMM, 2014
4. M. Kuzniar, P. Peresini, and D. Kostic, "Proboscope: Data plane probe packet generation," Tech. Rep., 2014
5. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner, "Openflow: enabling innovation in campus networks," ACM SIGCOMM Computer Communication Review, vol. 38, no. 2, pp. 69-74, 2008
6. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown, "Automatic test packet generation," in ACM CoNEXT, 2012, pp. 241-252
7. P. Peresini, M. Kuzniar, and D. Kostic, "Monocle: Dynamic, fine-grained data plane monitoring," in ACM CoNEXT, 2015
8. N. Handigol, B. Heller, V. Jeyakumar, D. Mazieres, and N. McKeown, "I know what your packet did last hop: Using packet histories to troubleshoot networks," in Proc. USENIX NSDI, 2014
9. A. Voellmy, J. Wang, Y. R. Yang, B. Ford, and P. Hudak, "Maple: Simplifying sdn programming using algorithmic policies," in ACM SIGCOMM, 2013, pp. 87-98
10. Ryu SDN Framework., [Online]. Available: http://osrg.github.io/ryu
11. P-3297 Datasheet-Pica8., [Online]. Available: http://www.pica8.com/ documents/pica8-datasheet-48x1gbe-p3297.pdf
12. P. Kazemian, G. Varghese, and N. McKeown, "Header space analysis: Static checking for networks." in USENIX NSDI, 2012, pp. 113-126
13. O. S. Specification, "Version 1.4. 0, october 14, 2013
14. X.-N. Nguyen, D. Saucez, C. Barakat, and T. Turletti, "Officer: A general optimization framework for openflow rule allocation and endpoint policy enforcement," in IEEE INFOCOM, 2015
15. C. Prakash, J. Lee, Y. Turner, J.-M. Kang, A. Akella, S. Banerjee, C. Clark, Y. Ma, P. Sharma, and Y. Zhang, "Pga: Using graphs to express and automatically reconcile network policies," in SIGCOMM, 2015
16. The MiniSat Page., [Online]. Available: http://minisat.se
17. A. R. Curtis, J. C. Mogul, J. Tourrilhes, P. Yalagandula, P. Sharma, and S. Banerjee, "Devoflow: scaling flow management for high-performance networks," in ACM SIGCOMM, 2011, pp. 254-265
18. D. E. Taylor and J. S. Turner, "Classbench: A packet classification benchmark," in IEEE INFOCOM, 2005, pp. 2068-2079
19. X. Wen, C. Diao, X. Zhao, Y. Chen, L. E. Li, B. Yang, and K. Bu, "Compiling minimum incremental update for modular sdn languages," in ACM HotSDN, 2014, pp. 193-198
20. K. Bu, "Gotta tell you switches only once: Toward bandwidth-efficient flow setup for sdn," in IEEE SDDCS, 2015, pp. 492-497