Preserving confidentiality during the migration of virtual SDN topologies: a formal approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Preserving confidentiality during the migration of virtual SDN topologies: a formal approach

Résumé

Network virtualization provides a flexible solution to reduce costs, share network resources and improve recovery time upon failure. An important part of virtual network management consists in migrating them in order to optimize resource allocation and react to link failures. However, the migration process might entail the loss of security properties in the virtual network, such as confidentiality. In this paper, we present the first approach combining formal models and virtualization to prove confidentiality preservation during the migration process. We describe the network environment, the migration process and the confidentiality with a set of logical predicates that will be used by SNARK to obtain the formal proof of the preservation. We validate our theoretical approach by exhibiting confidentiality violation detection on an illustrative use case
Fichier non déposé

Dates et versions

hal-01666374 , version 1 (18-12-2017)

Identifiants

Citer

Fabien Charmet, Richard Waldinger, Gregory Blanc, Christophe Kiennert, Khalifa Toumi. Preserving confidentiality during the migration of virtual SDN topologies: a formal approach. NCA 2017 : 16th IEEE International Symposium on Network Computing and Applications, Oct 2017, Cambridge, United States. pp.1 - 5, ⟨10.1109/NCA.2017.8171392⟩. ⟨hal-01666374⟩
98 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More