Sfoglia per Autore
Transforming processes to check and ensure Information Flow Security
2002-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C; Rossi, Sabina
Properties of Input-Consuming Derivations
2002-01-01 Bossi, Annalisa; Etalle, S; 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
Declarative Semantics of Input Consuming Logic Programs
2004-01-01 Bossi, Annalisa; Cocco, Nicoletta; S., Etalle; Rossi, Sabina
Modelling Downgrading in Information Flow Security
2004-01-01 Bossi, Annalisa; Piazza, C; Rossi, Sabina
Verifying Persistent Security Properties.
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Piazza, C.; Rossi, Sabina
Unwinding in Information Flow Security
2004-01-01 Bossi, Annalisa; Focardi, Riccardo; Macedonio, D; 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 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
Information Flow in Secure Contexts
2005-01-01 Bossi, Annalisa; Macedonio, Damiano; C., Piazza; Rossi, Sabina
Analysis of SMIL scripts
2006-01-01 Bossi, Annalisa; O., Gaggi
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy ACM 2006
2006-01-01 Bossi, Annalisa; Maher, M. J.
Compositional information flow security for concurrent programs
2007-01-01 Bossi, Annalisa; C., Piazza; Rossi, Sabina
Enriching SMIL with assertions for temporal validation
2007-01-01 Bossi, Annalisa; Gaggi, O.
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, Annalisa; Piazza, C; 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