Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Language-Independent Synthesis of Firewall Policies
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Letterio, Galletta; Focardi, Riccardo; Tempesta, Mauro; Veronese, Lorenzo
Firewall management with FireWall synthesizer
2018-01-01 Bodei, Chiara; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Tempesta, Mauro; Veronese, Lorenzo
Bulwark: Holistic and verified security monitoring of web protocols
2020-01-01 Veronese, L.; Calzavara, S.; Compagna, L.
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, Chiara; Ceragioli, Lorenzo; Degano, Pierpaolo; Focardi, Riccardo; Galletta, Letterio; Luccio, Flaminia; Tempesta, Mauro; Veronese, Lorenzo
Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
---|---|---|---|---|---|
Language-Independent Synthesis of Firewall Policies | 1-gen-2018 | Chiara BodeiPierpaolo DeganoRiccardo FocardiMauro TempestaVERONESE, LORENZO + | 4.1 Articolo in Atti di convegno | - | |
Firewall management with FireWall synthesizer | 1-gen-2018 | Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoTempesta, MauroVeronese, Lorenzo + | 4.1 Articolo in Atti di convegno | - | |
Bulwark: Holistic and verified security monitoring of web protocols | 1-gen-2020 | Veronese L.Calzavara S. + | 4.1 Articolo in Atti di convegno | - | |
FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, ChiaraDegano, PierpaoloFocardi, RiccardoLuccio, FlaminiaTempesta, MauroVeronese, Lorenzo + | 2.1 Articolo su rivista | - |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile