IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 79
Titolo Anno di pubblicazione Autori Unitn File
Control Flow Analysis for the Applied Pi-calculus 1-gen-2003 Zunino, Roberto
Control Flow Analysis for the Applied Pi-calculus 1-gen-2003 Zunino, Roberto
A Note on the Perfect Encryption Assumption in a Process Calculus 1-gen-2004 Zunino, Roberto +
Weakening the perfect encryption assumption in Dolev-Yao adversaries. 1-gen-2005 Zunino, Roberto +
Handling exp, * (and Timestamps) in Protocol Analysis. FoSSaCS 2006: 1-gen-2006 Zunino, Roberto +
Handling exp, * (and Timestamps) in Protocol Analysis 1-gen-2006 Zunino, Roberto +
Types and Effects for Resource Usage Analysis 1-gen-2007 Zunino, Roberto +
Secure Service Orchestration. 1-gen-2007 Zunino, Roberto +
Model checking usage policies 1-gen-2008 Zunino, Roberto +
Hard life with weak binders 1-gen-2008 Zunino, Roberto +
LocUsT: a tool for checking usage policies 1-gen-2008 Zunino, Roberto +
Semantics-Based Design for Secure Web Services 1-gen-2008 Zunino, Roberto +
ν-types for Effects and Freshness Analysis 1-gen-2009 Zunino, Roberto +
A Calculus of Contracting Processes 1-gen-2009 Zunino, Roberto +
A Logic for Contracts 1-gen-2009 Zunino, Roberto +
Model checking usage policies 1-gen-2009 Zunino, Roberto +
Hard life with weak binders 1-gen-2009 Zunino, Roberto +
Securing Java with Local Policies 1-gen-2009 Zunino, Roberto +
Jalapa: Securing Java with Local Policies 1-gen-2009 Zunino, Roberto +
Local policies for resource usage analysis 1-gen-2009 Zunino, Roberto +
Mostrati risultati da 1 a 20 di 79
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