CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 22
Titolo Data di pubblicazione Autore(i) File
Static Analysis for Stack Inspection 1-gen-2001 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Static Analysis for Eager Stack Inspection 1-gen-2003 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Program Transformations under Dynamic Security Policies 1-gen-2003 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Security-aware program transformations 1-gen-2003 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Stack Inspection and Secure Program Transformations 1-gen-2004 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Method Inlining in Presence of Stack Inspection 1-gen-2004 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Checking Risky Events is enough for Local Policies 1-gen-2005 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
History-based Acces Control with Local Policies 1-gen-2005 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Enforcing Secure Service Composition 1-gen-2005 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Policy Framings for Access Control 1-gen-2005 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Types and Effects for Secure Service Orchestration 1-gen-2006 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Security Issues in Service Composition 1-gen-2006 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Secure Service Composition 1-gen-2006 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Plans for service composition 1-gen-2006 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI
Model Checking Usage Policies 1-gen-2008 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Semantics-Based Design for Secure Web Services 1-gen-2008 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Securing Java with Local Policies 1-gen-2008 Bartoletti, Massimo; Costa, G; Degano, Pierpaolo; Martinelli, F; Zunino, Roberto
nu-Types for Effects and Freshness Analysis 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Securing Java with Local Policies 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Costa, G; Martinelli, F; Zunino, Roberto
Planning and verifying service composition 1-gen-2009 Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, GIAN-LUIGI; Zunino, Roberto
Mostra risultati da 1 a 20 di 22
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