A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks

The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable framework to support the new communication and comput...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on industrial informatics 2021-02, Vol.17 (2), p.1515-1525
Hauptverfasser: Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Yusupov, Jalolliddin, Ksentini, Adlen
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!