지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2014.6
- 수록면
- 387 - 396 (10page)
이용수
초록· 키워드
오류제보하기
최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 프로세스 알지브라 기반 정형검증 프레임워크
Ⅲ. 연구시제품 구현
Ⅳ. 관련 연구
Ⅴ. 결론 및 향후 과제
References
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
SDN(Software-Defined Networking) 2.0으로의 진화
유재형
,
홍원기
한국통신학회지(정보와통신)
2015
.06
SDN을 활용한 네트워크 장애 방지 및 탐지시스템 기술 동향에 대한 연구
강희도
,
윤창훈
,
신승원
한국통신학회 학술대회논문집
2014
.11
다지점 오픈플로우 사이트들을 위한 자동화된 연동 도구의 설계 및 구현
나태흠
,
김종원
정보과학회 컴퓨팅의 실제 논문지
2015
.01
Open vSwitch 기반 OpenFlow 가상 네트워크 성능 연구
석승준
한국지능시스템학회 학술발표 논문집
2014
.10
IETF의 SDN 및 NFV 기술 표준화 동향
백은경
,
정기태
한국통신학회지(정보와통신)
2014
.08
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2015-560-001658726