Graduate School and Research Center in Digital Sciences

Virtual network embedding with formal reachability assurance

Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen

CNSM 2018, 14th International Conference on Network and Service Management, Poster Session, 5-9 November 2018, Roma, Italy

Networks are becoming increasingly software-defined and automated. In this context, SDN and NFV allow service providers to use the network infrastructure more efficiently with reduced cost and to develop secure services. This procedure of efficient mapping of virtual networks on the substrate network is delegated to an orchestrator component of NFV that automatically manages its constituent virtualized network functions (VNFs). However, incomplete or inconsistent configuration of VNFs and service graphs may be vulnerable to potential security threats and could cause breakdown of services and of the supporting infrastructure. The main purpose of this paper is to provide an approach for allocation and formal verification that can ensure at the same time that policies such as reachability or isolation are never violated and that optimization is achieved. This ability to orchestrate and automate service validation makes assurance of reliable service delivery possible and simplifies security management tasks for network administrators.

Document Bibtex

Title:Virtual network embedding with formal reachability assurance
Department:Communication systems
Eurecom ref:5782
Copyright: © 2018 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Bibtex: @inproceedings{EURECOM+5782, year = {2018}, title = {{V}irtual network embedding with formal reachability assurance}, author = {{M}archetto, {G}uido and {S}isto, {R}iccardo and {Y}usupov, {J}alolliddin and {K}sentini, {A}dlen}, booktitle = {{CNSM} 2018, 14th {I}nternational {C}onference on {N}etwork and {S}ervice {M}anagement, {P}oster {S}ession, 5-9 {N}ovember 2018, {R}oma, {I}taly}, address = {{R}oma, {ITALY}}, month = {11}, url = {} }
See also: