Sfoglia per Autore  

opzioni
Mostrati risultati da 21 a 40 di 107
Titolo Data di pubblicazione Autori Tipo File Abstract
Sequence-based Abstract Interpretation of Prolog 1-gen-2002 ROSSI, Sabina + 2.1 Articolo su rivista -
Properties of Input-Consuming Derivations 1-gen-2002 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
Transforming processes to check and ensure Information Flow Security 1-gen-2002 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Proofs Methods for Bisimulation based Information Flow Security 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 1-gen-2003 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Secure Contexts for Confidential Data 1-gen-2003 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Information Flow Security and Recursive Systems 1-gen-2003 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Proof System for Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Refinement Operators and Information Flow Security 1-gen-2003 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Declarative Semantics of Input Consuming Logic Programs 1-gen-2004 BOSSI, AnnalisaCOCCO, NicolettaROSSI, Sabina + 3.1 Articolo su libro -
Modelling Downgrading in Information Flow Security 1-gen-2004 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
CoPS - Checker of Persistent Security 1-gen-2004 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Verifying Persistent Security Properties. 1-gen-2004 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 2.1 Articolo su rivista -
Unwinding in Information Flow Security 1-gen-2004 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 2.1 Articolo su rivista -
Termination of Simply Moded Logic Programs with Dynamic Scheduling. 1-gen-2004 BOSSI, AnnalisaROSSI, Sabina + 2.1 Articolo su rivista -
A Theory of Noninterference for the pi-calculus 1-gen-2005 ROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Unwinding Conditions for Security in Imperative Languages 1-gen-2005 BOSSI, AnnalisaROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 1-gen-2005 BUGLIESI, MicheleROSSI, Sabina 2.1 Articolo su rivista -
Compositional Information Flow Security for Concurrent Programs 1-gen-2005 BOSSI, AnnalisaROSSI, Sabina + 7.02 Rapporto di ricerca -
Mostrati risultati da 21 a 40 di 107
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