Browse > Article

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

Nam, Gi-Hyeok (한국전자통신연구원)
Sin, Myeong-Gi (한국전자통신연구원)
Kim, Hyeong-Jun (한국전자통신연구원)
Publication Information
Information and Communications Magazine / v.29, no.11, 2012 , pp. 100-107 More about this Journal
Keywords
Citations & Related Records
연도 인용수 순위
  • Reference
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://www.openflowhub.org/display/Snac/ SNAC+Home
28 http://networkheresy.com/2011/08/09/what-mightan- sdn-controller-api-look-like-and-should-westandardize- it/
29 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   DOI
30 R. Mahajan, D. Wetherall, and T. Anderson. Understanding BGP misconfiguration. In Proc. ACM SIGCOMM, p.3-17, Pittsburgh, PA, August 2002
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