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

7 Citations (Scopus)

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.

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.
Pages810-815
Number of pages6
ISBN (Print)9781467371155
DOIs
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

Other

Other6th International Conference on Information and Communication Technology Convergence, ICTC 2015
CountryKorea, Republic of
CityJeju Island
Period15/10/2815/10/30

Fingerprint

Servers
Network components
Formal methods
Computer networks
Computer hardware
Network function virtualization
Automation
Software defined networking

Keywords

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

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems

Cite this

Shin, M. K., Choi, Y., Kwak, H. H., Pack, S., Kang, M., & Choi, J. Y. (2015). Verification for NFV-enabled network services. In International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015 (pp. 810-815). [7354672] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICTC.2015.7354672

Verification for NFV-enabled network services. / Shin, Myung Ki; Choi, Yunchul; Kwak, Hee Hwan; Pack, Sangheon; Kang, Miyoung; Choi, Jin Young.

International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015. Institute of Electrical and Electronics Engineers Inc., 2015. p. 810-815 7354672.

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

Shin, MK, Choi, Y, Kwak, HH, Pack, S, Kang, M & Choi, JY 2015, Verification for NFV-enabled network services. in International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015., 7354672, Institute of Electrical and Electronics Engineers Inc., pp. 810-815, 6th International Conference on Information and Communication Technology Convergence, ICTC 2015, Jeju Island, Korea, Republic of, 15/10/28. https://doi.org/10.1109/ICTC.2015.7354672
Shin MK, Choi Y, Kwak HH, Pack S, Kang M, Choi JY. Verification for NFV-enabled network services. In International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015. Institute of Electrical and Electronics Engineers Inc. 2015. p. 810-815. 7354672 https://doi.org/10.1109/ICTC.2015.7354672
Shin, Myung Ki ; Choi, Yunchul ; Kwak, Hee Hwan ; Pack, Sangheon ; Kang, Miyoung ; Choi, Jin Young. / Verification for NFV-enabled network services. International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015. Institute of Electrical and Electronics Engineers Inc., 2015. pp. 810-815
@inproceedings{988261fa66a64d0ab086e8b085eaf2dc,
title = "Verification for NFV-enabled network services",
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.",
keywords = "Formal Method, NFV (Network Functions Virtualization), SDN (Software-Defined Networking), Verification",
author = "Shin, {Myung Ki} and Yunchul Choi and Kwak, {Hee Hwan} and Sangheon Pack and Miyoung Kang and Choi, {Jin Young}",
year = "2015",
month = "12",
day = "11",
doi = "10.1109/ICTC.2015.7354672",
language = "English",
isbn = "9781467371155",
pages = "810--815",
booktitle = "International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Verification for NFV-enabled network services

AU - Shin, Myung Ki

AU - Choi, Yunchul

AU - Kwak, Hee Hwan

AU - Pack, Sangheon

AU - Kang, Miyoung

AU - Choi, Jin Young

PY - 2015/12/11

Y1 - 2015/12/11

N2 - 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.

AB - 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.

KW - Formal Method

KW - NFV (Network Functions Virtualization)

KW - SDN (Software-Defined Networking)

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84964856204&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84964856204&partnerID=8YFLogxK

U2 - 10.1109/ICTC.2015.7354672

DO - 10.1109/ICTC.2015.7354672

M3 - Conference contribution

AN - SCOPUS:84964856204

SN - 9781467371155

SP - 810

EP - 815

BT - International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015

PB - Institute of Electrical and Electronics Engineers Inc.

ER -