Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 86
Titolo Data di pubblicazione Autori Tipo File Abstract
Principles for Entity Authentication 1-gen-2003 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Compositional Analysis of Authentication Protocols 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Access Control for Mobile Agents: the Calculus of Boxed Ambients 1-gen-2004 BUGLIESI, Michele + 2.1 Articolo su rivista -
Authenticity by tagging and typing 1-gen-2004 BUGLIESI, MicheleFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Type Based Discretionary Access Control 1-gen-2004 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Second Workshop on Object Oriented Developments (WOOD 2004) 1-gen-2005 BUGLIESI, Michele + 5.1 Curatela -
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols 1-gen-2005 BUGLIESI, MicheleROSSI, Sabina 2.1 Articolo su rivista -
Typed Processes in Untyped Contexts 1-gen-2005 BUGLIESI, Michele + 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 -
Communication and Mobility Control in Boxed Ambients 1-gen-2005 BUGLIESI, Michele + 2.1 Articolo su rivista -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 1-gen-2006 BUGLIESI, Michele + 5.1 Curatela -
Space-aware ambients and processes 1-gen-2007 BUGLIESI, Michele + 2.1 Articolo su rivista -
Secure implementations of typed channel abstractions 1-gen-2007 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Static vs Dynamic Typing for Access Control in Pi-Calculus 1-gen-2007 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Dynamic Types for Authentication 1-gen-2007 BUGLIESI, MicheleFOCARDI, Riccardo + 2.1 Articolo su rivista -
A Theory of Adaptable Contract-based Service Composition. 1-gen-2008 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Language Based Secure Communication 1-gen-2008 BUGLIESI, MicheleFOCARDI, Riccardo 4.1 Articolo in Atti di convegno -
A Type System for Discretionary Access Control 1-gen-2009 BUGLIESI, Michele + 2.1 Articolo su rivista -
Compliance Preorders for Web Services. 1-gen-2009 BUGLIESI, MicheleMACEDONIO, DamianoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 21 a 40 di 86
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