Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 143
Titolo Data di pubblicazione Autori Tipo File Abstract
Information Leakage Detection in Boundary Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Classification of Security Properties (Part II: Network Security) 1-gen-2004 FOCARDI, Riccardo + 3.1 Articolo su libro -
Nesting analysis of mobile ambients 1-gen-2004 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 2.1 Articolo su rivista -
Compositional Analysis of Authentication Protocols 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Foundations of Security Analysis and Design II - Tutorial Lectures 1-gen-2004 FOCARDI, Riccardo + 5.1 Curatela -
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) 1-gen-2004 FOCARDI, Riccardo + 5.1 Curatela -
Verifying Persistent Security Properties. 1-gen-2004 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 2.1 Articolo su rivista -
How tasty is a cannibal? A strategy for the mesh cannibal game 1-gen-2004 FOCARDI, RiccardoLUCCIO, Flaminia 4.1 Articolo in Atti di convegno -
Proceedings of 17th IEEE Computer Security Foundations Workshop (CSFW17) 1-gen-2004 FOCARDI, Riccardo 5.1 Curatela -
A modular approach to Sprouts 1-gen-2004 FOCARDI, RiccardoLUCCIO, Flaminia 2.1 Articolo su rivista -
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 1-gen-2004 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Authenticity by tagging and typing 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Unwinding in Information Flow Security 1-gen-2004 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 2.1 Articolo su rivista -
The ro-spi Calculus at Work: Authentication Case Studies 1-gen-2004 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Static Analysis of Authentication 1-gen-2005 FOCARDI, Riccardo 3.1 Articolo su libro -
Authentication primitives for secure protocol specifications 1-gen-2005 FOCARDI, Riccardo + 2.1 Articolo su rivista -
Special Issue on CSFW16 1-gen-2005 FOCARDI, Riccardo 5.1 Curatela -
Inferring Authentication Tags 1-gen-2005 FOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Bridging Language-Based and Process Calculi Security 1-gen-2005 FOCARDI, RiccardoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Analysis of Typed Analyses of Authentication Protocols 1-gen-2005 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 41 a 60 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