On March 23rd, 2023 at 5.30 pm, a new appointment of the “Thursday meetings – A glance to the future at cocktail-hour”, organized by EIIT – CNR  Institute, will take place online by Microsoft Teams.

The series of fortnightly meetings deal with specific themes connected to IEIIT – CNR institute with transversal vision through application domains and technological areas with particular attention to their evolutions.

The new seminar will be held by Eng. Daniele Bringhenti (Politecnico di Torino) on the following subject "Network Security Automation".

Network virtualization introduced higher flexibility and dynamicity, but at the same time it led to new threats and challenges. The traditional approach of a manual configuration of Network Security Functions (NSFs) such as firewalls and VPN gateways is not feasible anymore, since it is not adequate for the ever-changing nature of modern networks and it is prone to human errors. To overcome this problem, the native flexibility provided by virtualization could be exploited to automate network security management. However, achieving a high level of automation while providing formal assurance that security management operations (e.g., configuration and orchestration) fulfill some security properties is still an open research challenge. Therefore, this speech presents a novel approach combining automation, formal verification and optimization for network security management. Specifically, this approach pursues “correctness by construction”, avoiding a traditional a-posteriori formal verification, and fulfills optimality criteria to improve the efficiency of the security operations.

Participation is free but registration is required. Please register here.