CNR-IEIIT organizza una serie di seminari con frequenza bisettimanale denominata "Incontri del giovedì" in cui vengono affrontate con il supporto di relatori di rilievo nell'ambito della ricerca scientifica, accademica ed industriale le tematiche caratterizzanti l'Istituto stesso, con una visione trasversale ai domini applicativi ed agli ambiti tecnologici ed uno sguardo rivolto alla loro evoluzione.
Il seminario si è svolto in forma telematica giovedì 23 Marzo 2023 alle ore 17:30 sulla piattaforma Microsoft Teams.
Link all'evento registrato:
Relatore: Ing. Daniele Bringhenti (Politecnico di Torino)
Titolo seminario:
Network Security Automation
Abstract:
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.
Le registrazioni dei precedenti seminari della serie sono presenti sul canale YouTube dell’Istituto nella playlist “Incontri del Giovedì” al seguente link: https://cutt.ly/playlist-incontri-del-giovedi