Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 143
Titolo Data di pubblicazione Autori Tipo File Abstract
A Classification of Security Properties for Process Algebras 1-gen-1995 FOCARDI, Riccardo + 2.1 Articolo su rivista -
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties 1-gen-1997 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Minumum Feedback Vertex Set in k-Dimensional Hypercubes 1-gen-1999 FOCARDI, RiccardoLUCCIO, Flaminia 7.02 Rapporto di ricerca -
Non Interference for the Analysis of Cryptographic Protocols 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A New Definition of Multilevel Security 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Feedback Vertex Set in Hypercubes 1-gen-2000 FOCARDI, RiccardoLUCCIO, Flaminia + 2.1 Articolo su rivista -
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 1-gen-2000 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Information Flow in a Discrete-Time Process Algebra 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Message Authentication through Non Interference 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Information Flow Security in Mobile Ambients 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo 4.1 Articolo in Atti di convegno -
Foundations of Security Analysis and Design - Tutorial Lectures 1-gen-2001 FOCARDI, Riccardo + 5.1 Curatela -
Classification of Security Properties (Part I: Information Flow) 1-gen-2001 FOCARDI, Riccardo + 3.1 Articolo su libro -
Control Flow Analysis for information flow security 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A new analysis technique for the Sprouts Game 1-gen-2001 FOCARDI, RiccardoLUCCIO, Flaminia 4.1 Articolo in Atti di convegno -
CVS at Work: A Report on New Failures upon some Cryptographic Protocol 1-gen-2001 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
Primitives for Authentication in Process Algebras 1-gen-2002 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Authentication Primitives for Refining Protocol Specifications 1-gen-2002 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Control Flow Analysis of Mobile Ambients with Security Boundaries 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 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 -
Mostrati risultati da 1 a 20 di 143
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