Sfoglia per Autore
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.
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