polito.it
Politecnico di Torino (logo)

Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework

Gabriele Iannace

Correctness Validation and Scalability Analysis of Stateful Firewalls in the VEREFOO Framework.

Rel. Fulvio Valenza, Daniele Bringhenti, Riccardo Sisto. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2025

[img]
Preview
PDF (Tesi_di_laurea) - Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives.

Download (50MB) | Preview
Abstract:

Network security automation

Relatori: Fulvio Valenza, Daniele Bringhenti, Riccardo Sisto
Anno accademico: 2025/26
Tipo di pubblicazione: Elettronica
Numero di pagine: 107
Soggetti:
Corso di laurea: Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering)
Classe di laurea: Nuovo ordinamento > Laurea magistrale > LM-32 - INGEGNERIA INFORMATICA
Aziende collaboratrici: Politecnico di Torino
URI: http://webthesis.biblio.polito.it/id/eprint/38642
Modifica (riservato agli operatori) Modifica (riservato agli operatori)