Verification for NFV-enabled network services

Myung Ki Shin, Yunchul Choi, Hee Hwan Kwak, Sangheon Pack, Miyoung Kang, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationInternational Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Print)9781467371155
Publication statusPublished - 2015 Dec 11
Event6th International Conference on Information and Communication Technology Convergence, ICTC 2015 - Jeju Island, Korea, Republic of
Duration: 2015 Oct 282015 Oct 30


Other6th International Conference on Information and Communication Technology Convergence, ICTC 2015
CountryKorea, Republic of
CityJeju Island


  • Formal Method
  • NFV (Network Functions Virtualization)
  • SDN (Software-Defined Networking)
  • Verification

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Fingerprint Dive into the research topics of 'Verification for NFV-enabled network services'. Together they form a unique fingerprint.

Cite this