Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 143
Titolo Data di pubblicazione Autori Tipo File Abstract
Information Flow Security in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
Computer Languages and Security 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo 2.1 Articolo su rivista -
Proofs Methods for Bisimulation based Information Flow Security 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 -
A Security Property for Processes in Dynamic Contexts 1-gen-2002 FOCARDI, RiccardoROSSI, Sabina 4.1 Articolo in Atti di convegno -
Security Boundaries in Mobile Ambient 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 2.1 Articolo su rivista -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
Transforming processes to check and ensure Information Flow Security 1-gen-2002 BOSSI, AnnalisaFOCARDI, RiccardoROSSI, Sabina + 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 -
Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW16) 1-gen-2003 FOCARDI, Riccardo 5.1 Curatela -
Proceedings of 1st International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'03) 1-gen-2003 FOCARDI, Riccardo + 5.1 Curatela -
Principles for Entity Authentication 1-gen-2003 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Authentication Primitives for Protocol Specifications 1-gen-2003 FOCARDI, Riccardo + 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 -
Real-Time Information Flow Analysis 1-gen-2003 FOCARDI, Riccardo + 2.1 Articolo su rivista -
A Comparison of Three Authentication Properties 1-gen-2003 FOCARDI, Riccardo + 2.1 Articolo su rivista -
BANANA: A tool for Boundary Ambients Nesting ANAlysis 1-gen-2003 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Information Leakage Detection in Boundary Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Complexity of Nesting Analysis in Mobile Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 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 -
Mostrati risultati da 21 a 40 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