Verification for NFV-enabled network services

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

doi:10.1109/ICTC.2015.7354672

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 proceeding › Conference contribution

22 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 language	English
Title of host publication	International Conference on ICT Convergence 2015
Subtitle of host publication	Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	810-815
Number of pages	6
ISBN (Electronic)	9781467371155
DOIs	https://doi.org/10.1109/ICTC.2015.7354672
Publication status	Published - 2015 Dec 11
Event	6th International Conference on Information and Communication Technology Convergence, ICTC 2015 - Jeju Island, Korea, Republic of Duration: 2015 Oct 28 → 2015 Oct 30

Publication series

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

Other

Other	6th International Conference on Information and Communication Technology Convergence, ICTC 2015
Country/Territory	Korea, Republic of
City	Jeju Island
Period	15/10/28 → 15/10/30

Bibliographical note

Publisher Copyright:
© 2015 IEEE.

Keywords

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

ASJC Scopus subject areas

Computer Networks and Communications
Information Systems

Access to Document

10.1109/ICTC.2015.7354672

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). Article 7354672 (International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015). 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 et al.
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 (International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference 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, International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015, 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. (International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015). doi: 10.1109/ICTC.2015.7354672

Shin, Myung Ki ; Choi, Yunchul ; Kwak, Hee Hwan et al. / 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 (International Conference on ICT Convergence 2015: Innovations Toward the IoT, 5G, and Smart Media Era, ICTC 2015).

@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}",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 6th International Conference on Information and Communication Technology Convergence, ICTC 2015 ; Conference date: 28-10-2015 Through 30-10-2015",

year = "2015",

month = dec,

day = "11",

doi = "10.1109/ICTC.2015.7354672",

language = "English",

series = "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.",

pages = "810--815",

booktitle = "International Conference on ICT Convergence 2015",

}

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

U2 - 10.1109/ICTC.2015.7354672

DO - 10.1109/ICTC.2015.7354672

M3 - Conference contribution

AN - SCOPUS:84964856204

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

SP - 810

EP - 815

BT - International Conference on ICT Convergence 2015

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 6th International Conference on Information and Communication Technology Convergence, ICTC 2015

Y2 - 28 October 2015 through 30 October 2015

ER -

Verification for NFV-enabled network services

Abstract

Publication series

Other

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this