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 -
A New Definition of Multilevel Security 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
A Compiler for Analysing Cryptographic Protocols Using Non-Interference 1-gen-2000 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Message Authentication through Non Interference 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Non Interference for the Analysis of Cryptographic Protocols 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 -
Information Flow in a Discrete-Time Process Algebra 1-gen-2000 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Foundations of Security Analysis and Design - Tutorial Lectures 1-gen-2001 FOCARDI, Riccardo + 5.1 Curatela -
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 -
Information Flow Security in Mobile Ambients 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo 4.1 Articolo in Atti di convegno -
Classification of Security Properties (Part I: Information Flow) 1-gen-2001 FOCARDI, Riccardo + 3.1 Articolo su libro -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
Authentication Primitives for Refining Protocol Specifications 1-gen-2002 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Freshness Analysis in Security Protocols 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Analysing Sprouts 1-gen-2002 FOCARDI, RiccardoLUCCIO, Flaminia 7.02 Rapporto di ricerca -
Special issue on "Computer Languages and Security" 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo 5.1 Curatela -
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