Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 92
Titolo Data di pubblicazione Autore(i) File
On Compositional Reasoning in the Spi–Calculus 2002 Boreale, M; Gorla, Daniele
Process Calculi and the Verification of Security Protocols 2002 Boreale, M.; Gorla, Daniele
Enforcing Security Policies via Types 2003 Gorla, Daniele; Pugliese, R.
COGS 2003 Gorla, Daniele
Resource Access and Mobility Control with Dynamic Privileges Acquisition 2003 Gorla, Daniele; Rosario, Pugliese
The KLAIM Project: Theory and Practice 2003 Lorenzo, Bettini; Viviana, Bono; R., De Nicola; Gianluigi, Ferrari; Gorla, Daniele; Michele, Loreti; Eugenio, Moggi; Rosario, Pugliese; Emilio, Tuosto; Betti, Venneri
Controlling Data Movement in Global Computing Applications 2004 Gorla, Daniele; Rosario, Pugliese
A distributed calculus for role-based access control 2004 C., Braghin; Gorla, Daniele; V., Sassone
On the expressive power of KLAIM-based Calculi 2004 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
Security Policies as Membranes in Systems for Global Computing 2004 Gorla, Daniele; Hennessy, M; Sassone, V.
Basic Observables for a Calculus for Global Computing 2005 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
Global Computing in a Dynamic Network of Tuple Spaces 2005 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
Security Policies as Membranes in Systems for Global Computing 2005 Gorla, Daniele; Hennessy, M.; Sassone, V.
Semantic approach to global computing systems 2005 Gorla, Daniele
Univ.Sussex 2005 Gorla, Daniele
Pattern Matching over a Dynamic Network of Tuple Spaces 2005 De Nicola, R; Gorla, Daniele; Pugliese, R.
Role-based access control for a distributed calculus 2006 C., Braghin; Gorla, Daniele; V., Sassone
Confining data and processes in global computing applications 2006 Rocco De, Nicola; Gorla, Daniele; Rosario, Pugliese
On the relative expressive power of asynchronous communication primitives 2006 Gorla, Daniele
On the expressive power of the KLAIM based calculi 2006 De Nicola, R; Gorla, Daniele; Pugliese, R.
Mostrati risultati da 1 a 20 di 92
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