IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 20
Titolo Data di pubblicazione Autore(i) File
From firewalls to functions and back 1-gen-2019 Ceragioli, Lorenzo; Galletta, Letterio; Tempesta, Mauro
Are all firewall systems equally powerful? 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
Checking the Expressivity of Firewall Languages 1-gen-2019 Ceragioli, L.; Degano, P.; Galletta, L.
MUAC: Access control language for mutual benefits 1-gen-2020 Ceragioli, L.; Degano, P.; Galletta, L.
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.
Can my Firewall System Enforce this Policy? 1-gen-2022 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio
SELinux IFCIL: A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier 1-gen-2024 Ceragioli, Lorenzo
SELinux CIL Semantics: An executable semantics for SELinux CIL configuration language 1-gen-2024 Ceragioli, Lorenzo
A Logic for Policy Based Resource Exchanges in Multiagent Systems 1-gen-2024 Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
Effect Semantics for Quantum Process Calculi 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Specifying and Verifying Information Flow Control in SELinux Configurations 1-gen-2024 Ceragioli, L.; Galletta, L.; Degano, P.; Basin, D.
A Coalgebraic Model of Quantum Bisimulation 1-gen-2024 Ceragioli, Lorenzo; Di Lavore, Elena; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers 1-gen-2024 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Reconciling Quantum Theory and Process Equivalence via Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Lomurno, Giuseppe; Tedeschi, Gabriele
Testing Quantum Processes 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Quantum Bisimilarity Is a Congruence Under Physically Admissible Schedulers 1-gen-2025 Ceragioli, Lorenzo; Gadducci, Fabio; Lomurno, Giuseppe; Tedeschi, Gabriele
Policies for Fair Exchanges of Resources In corso di stampa Ceragioli, Lorenzo; Degano, Pierpaolo; Galletta, Letterio; Viganò, Luca
Checking Information Flow in Cloud-based IoT Access Control Policies In corso di stampa Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Differential Verification of Information Flow in SEAndroid Policies In corso di stampa Ceragioli, Lorenzo; Galletta, Letterio; Lunati, Edoardo
Mostrati risultati da 1 a 20 di 20
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