BROWSE
Detail
Journal Article
SDN 응용 검증을 위한 프로세스 알지브라 기반정형 기법
Cited - time in 
Share 
Share
- Issue Date
- 2014-06
- Citation
- 한국통신학회논문지 B : 네트워크 및 서비스, v.39B, no.6, pp.387-396
- ISSN
- 1226-4717
- Publisher
- 한국통신학회 (KICS)
- Language
- Korean
- Type
- Journal Article
- Abstract
- 최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR(Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다.
- KSP Keywords
- Algebra of communicating shared resources, Software-Defined Networking(SDN), process algebra