CERAGIOLI, LORENZO
CERAGIOLI, LORENZO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.007 secondi).
Are all firewall systems equally powerful?
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Can my Firewall System Enforce this Policy?
2022-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
Checking the Expressivity of Firewall Languages
2019-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
From firewalls to functions and back
2019-01-01 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
FWS: Analyzing, maintaining and transcompiling firewalls
2021-01-01 Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L.
IFCIL: An Information Flow Configuration Language for SELinux
2022-01-01 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
MUAC: Access control language for mutual benefits
2020-01-01 Ceragioli, L.; Degano, P.; Galletta, L.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Are all firewall systems equally powerful? | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
Can my Firewall System Enforce this Policy? | 1-gen-2022 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio | |
Checking the Expressivity of Firewall Languages | 1-gen-2019 | Ceragioli, L.; Degano, P.; Galletta, L. | |
From firewalls to functions and back | 1-gen-2019 | Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro | |
FWS: Analyzing, maintaining and transcompiling firewalls | 1-gen-2021 | Bodei, C.; Ceragioli, L.; Degano, P.; Focardi, R.; Galletta, L.; Luccio, F.; Tempesta, M.; Veronese, L. | |
IFCIL: An Information Flow Configuration Language for SELinux | 1-gen-2022 | Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D. | |
MUAC: Access control language for mutual benefits | 1-gen-2020 | Ceragioli, L.; Degano, P.; Galletta, L. |