Sfoglia per Autore
Properties of Input-Consuming Derivations
2002-01-01 Bossi, Annalisa; Etalle, S; Rossi, Sabina
Proofs Methods for Bisimulation based Information Flow Security
2002-01-01 Focardi, Riccardo; C., Piazza; Rossi, Sabina
On Modular Termination Proofs of General Logic Programs
2002-01-01 Bossi, Annalisa; Cocco, Nicoletta; Etalle, S; Rossi, Sabina
Information Flow Security in Dynamic Contexts
2002-01-01 Focardi, Riccardo; Rossi, Sabina
Information Flow Security and Recursive Systems
2003-01-01 Bossi, Annalisa; Macedonio, D; Piazza, C; Rossi, Sabina
Secure Contexts for Confidential Data
2003-01-01 Bossi, Annalisa; Macedonio, D; Piazza, C; Rossi, Sabina
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
A Proof System for Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Refinement Operators and Information Flow Security
2003-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis
2003-01-01 Bugliesi, Michele; Ceccato, A; Rossi, Sabina
Declarative Semantics of Input Consuming Logic Programs
2004-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina
CoPS - Checker of Persistent Security
2004-01-01 Piazza, C; Pivato, E; Rossi, Sabina
Modelling Downgrading in Information Flow Security
2004-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Termination of Simply Moded Logic Programs with Dynamic Scheduling.
2004-01-01 Bossi, Annalisa; Etalle, S.; Rossi, Sabina; Smaus, J. G.
Unwinding in Information Flow Security
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Macedonio, D; Piazza, C; Rossi, Sabina
Verifying Persistent Security Properties.
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C.; Rossi, Sabina
Unwinding Conditions for Security in Imperative Languages
2005-01-01 Bossi, Annalisa; C., Piazza; Rossi, Sabina
Compositional Information Flow Security for Concurrent Programs
2005-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
A Theory of Noninterference for the pi-calculus
2005-01-01 Crafa, S; Rossi, Sabina
Information Flow in Secure Contexts
2005-01-01 Bossi, Annalisa; Macedonio, Damiano; C., Piazza; Rossi, Sabina
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