Evento

Incontri del giovedì del Cnr-Ieiit: "Network Security Automation"

Il 23/03/2023 ore 17.30 - 18.30

Virtuale su piattaforma Microsoft Teams

Cover evento
Cover evento

L'Istituto di elettronica e di ingegneria dell’informazione e delle telecomunicazioni del Consiglio Nazionale delle Ricerche (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.

Giovedì 23 Marzo 2023 si svolgerà il seminario dal titolo “Network Security Automation”, con relatore l' Ing. Daniele Bringhenti (Politecnico di Torino)

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.

Organizzato da:
CNR - Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni

Referente organizzativo:
Sandro Ballestrasse
CNR - Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
incontri.delgiovedi@ieiit.cnr.it

Modalità di accesso: registrazione / accredito

Vedi anche: