Information and Communications Magazine (정보와 통신)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

SDN/OpenFlow 전용 언어 및 신뢰성 검증 방법 연구 동향

  • Published : 2012.10.31
Download PDF
⟨ Previous Next ⟩

Abstract

최근 활발히 연구되고 있는 SDN(Software-Defined Networking) 기술과 관련하여, 보다 편리하고 정확한 방법으로 네트워크를 구축하기 위한 SDN 전용 언어와 신뢰성 검증 방법에 대하여 2012년도에 발표된 논문을 중심으로 최신 연구 동향을 분석한다.

Keywords

References

  1. 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 CCR, April 2008
  2. http://www.opennetworking.org
  3. http://www.opennetsummit.org
  4. Timothy L. Hinrichs, Natasha S. Gude, Martin Casado, John C. Mitchell, and Scott Shenker. Practical declarative network management. In WREN, pages 1-10, 2009
  5. N. Gude, T. Koponen, J. Petit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. NOX: Towards an Operating System for Networks. SIGCOMM CCR., 38:105-110, July 2008
  6. Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker. Frenetic: A network programming language. In ICFP, September 2011
  7. http://frenetic-lang.org
  8. Antony Courtney, Henrik Nilsson, and John Peterson. The Yampa arcade. In Haskell Workshop, pages 7-18, August 2003
  9. Christopher Monsanto, Nate Foster, Rob Harrison, David Walker. A compiler and run-time system for network programming languages. In POPL, January 2012
  10. Andreas Voellmy and Paul Hudak. Nettle: Functional reactive programming of OpenFlow networks. In PADL, January 2011
  11. Andreas Voellmy, Hyojoon Kim, and Nick Feamster. Procera: A language for high-level reactive network control. In SIGCOMM HotSDN, August 2012
  12. Hyojoon Kim, Andreas Voellmy, S. Burnett, Nick Feamster, and R. Clark. Lithium: Event-driven network control. Technical Report GT-CS-12-03, Georgia Institute of Technology, 2012
  13. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transaction on Programming Languages and Systems, vol. 8, pages. 244-263, 1986
  14. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. Parallel Symbolic Execution for Automated Real- World Software Testing. In EuroSys, 2011
  15. Marco Canini, Daniele Venzano, Peter Peresini, Dejan Kostic, and Jennifer Rexford. A NICE way to test OpenFlow applications. In NSDI, April 2012
  16. http://code.google.com/p/nice-of/
  17. P. Godfroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In PLDI, 2005
  18. Peyman Kazemian, George Varghese, and Nick McKeown. Header Space Analysis: Static checking for networks. In NSDI, April 2012
  19. http://stanford.edu/-kazemian/hassel.tar.gz
  20. Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, and David Walker. Abstraction for network update. In SIGCOMM, August 2012
  21. http://openflow.org/mininet
  22. Phillip Porras, Seungwon Shin, Vinod Yegneswaran, Martin Fong, Mabry Tyson, and Guofei Gu. A security enforcement kernel for OpenFlow networks. In HotSDN, August 2012
  23. Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazieres, and Nick McKeown. Where is the debugger for my software-defined network? In HotSDN, August 2012
  24. Draft Recommendation of Y.FNsdn. Framework of Software-Defined Networking for Carrier Networks in Future Networks. ITU-T
  25. Draft Recommendation of Y.FNsdn-fm. Requirement of Formal Specification and Verification Methods for SDN. ITU-T
  26. http://tools.ietf.org/html/draft-shin-sdn-formalspecification- 01
  27. http://networkheresy.com/2011/08/09/what-mightan- sdn-controller-api-look-like-and-should-westandardize- it/
  28. T. Benson, A. Akella, and A. Shaikh. Demystifying configuration challenges and trade-offs in network-based isp services. SIGCOMM Computer Communication Review, 41(4):302-313, Aug. 2011 https://doi.org/10.1145/2043164.2018471
  29. R. Mahajan, D. Wetherall, and T. Anderson. Understanding BGP misconfiguration. In Proc. ACM SIGCOMM, p.3-17, Pittsburgh, PA, August 2002
  30. http://www.openflowhub.org/display/Snac/ SNAC+Home
  31. Miyoung Kang, Junkil Park, Jeehoon Shin, Ki-Hyuk Nam, Myung-Ki Shin, and Jin-Young Choi. Formal Specifications for Software-Defined Networking. Proceedings of the 7th International Conference on Future Internet Technologies (CFI'12), pages 51-52. September 2012