Affordable Access

Automated optimal firewall orchestration and configuration in virtualized networks

Authors
  • Bringhenti, D.
  • Marchetto, G.
  • Sisto, R.
  • Valenza, F.
  • Yusupov, J.
Publication Date
Jan 01, 2020
Source
PORTO Publications Open Repository TOrino
Keywords
Language
English
License
Green

Abstract

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.

Report this publication

Statistics

Seen <100 times