Conference paper Open Access

Automated optimal firewall orchestration and configuration in virtualized networks

Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin

Emerging technologies such as Software-Defined Networking and Network Functions Virtualization are making the definition and configuration of network services more dynamic, thus making automatic approaches that can replace manual and error-prone tasks more feasible. In view of these considerations, this paper proposes a novel methodology to automatically compute the optimal allocation scheme and configuration of virtual firewalls within a user-defined network service graph subject to a corresponding set of security requirements. The presented framework adopts a formal approach based on the solution of a weighted partial MaxSMT problem, which also provides good confidence about the solution correctness. A prototype implementation of the proposed approach based on the z3 solver has been used for validation, showing the feasibility of the approach for problem instances requiring tens of virtual firewalls and similar numbers of security requirements.

Files (288.9 kB)
Name Size
Bringhenti_NOMS_2020.pdf
md5:20e2dc2b5b290e48688b7ace229ffd92
288.9 kB Download
10
12
views
downloads
Views 10
Downloads 12
Data volume 3.5 MB
Unique views 9
Unique downloads 11

Share

Cite as