CERAGIOLI, LORENZO
CERAGIOLI, LORENZO
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A Logic for Policy Based Resource Exchanges in Multiagent Systems
2024-01-01 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
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.
Specifying and Verifying Information Flow Control in SELinux Configurations
2024-01-01 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Logic for Policy Based Resource Exchanges in Multiagent Systems | 1-gen-2024 | Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca | |
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. | |
Specifying and Verifying Information Flow Control in SELinux Configurations | 1-gen-2024 | Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D. |