CERAGIOLI, LORENZO

CERAGIOLI, LORENZO  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.006 secondi).
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.