BROWSE
Detail
Conference Paper
Verification for NFV-enabled Network Services
Cited - time in 
Share 
Share
- Authors
- Myung-Ki Shin, Yunchul Choi, Hee Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin-Young Choi
- Issue Date
- 2015-10
- Citation
- International Conference on Information and Communication Technology Convergence (ICTC) 2015, pp.810-815
- Publisher
- IEEE
- Language
- English
- Type
- Conference Paper
- Abstract
- Network Functions Virtualization (NFV) offers a new way to design, deploy and manage network services. NFV relocates network functions from dedicated hardware appliances to generic servers, so they can run in software. Also, it is designed to consolidate and deliver the network components needed to support a virtualized infrastructure including virtual servers and storage, as well as networks. However, incomplete or inconsistent configuration of virtualized network functions (VNF) and forwarding graph (FG, aka service chain) could cause breakdown of the supporting infrastructure. Moreover, automation of NFV process with integration of Software-Defined Networking (SDN) technologies may lead the network services to be more error-prone. Recognizing these problems, we need to identify key properties to be checked. In this article, we present a framework of verification for NFV-enabled network services. Its goal is to provide a formal method for the network services that can be used to build and verify NFV components. Overall, this method makes it safer and more reliable for network operators to compose their network services in NFV environment, so that they can be assured that the properties are correctly enforced.
- KSP Keywords
- Forwarding graph, Network operator, Network service, Software-Defined Networking(SDN), dedicated hardware, formal method, network functions virtualization, service chain, services network, virtualized infrastructure, virtualized network function