Searching for authors named "Daniele Gorla" – sorted by Relevance.
-
On the relative expressive power of asynchronous communication primitives
- of Asynchronous Communication Primitives Daniele Gorla Dipartimento di Informatica Università di Roma “La
- Cited by 9 (0 self) – Add To MetaCart
-
Process Calculi and the Verification of Security Protocols
- Michele Boreale Daniele Gorla Dipartimento di Sistemi e Informatica, Università di Firenze e
- Add To MetaCart
-
On Compositional Reasoning in the Spi-calculus
- On Compositional Reasoning in the Spi-calculus ⋆ Michele Boreale and Daniele Gorla Dipartimento di
- Cited by 7 (1 self) – Add To MetaCart
-
A Semantic Theory for Global Computing Systems
- A Semantic Theory for Global Computing Systems Daniele Gorla Rosario Pugliese Dipartimento di
- Cited by 3 (1 self) – Add To MetaCart
-
Resource Access and Mobility Control with Dynamic Privileges Acquisition
- Resource Access and Mobility Control with Dynamic Privileges Acquisition Daniele Gorla Rosario
- Cited by 25 (10 self) – Add To MetaCart
-
A Semantic Theory for Global Computing Systems
- models and calculi could provide a sound basis for constructing Daniele Gorla Rosario Pugliese
- Add To MetaCart
-
Controlling Data Movement in Global Computing Applications
- Controlling Data Movement in Global Computing Applications ∗ Abstract Daniele Gorla 1,2 We present
- Add To MetaCart
-
Security policies as membranes in systems for global computing
- .elsevier.com/locate/entcs Security Policies as Membranes in Systems for Global Computing 1 Daniele Gorla 2 Dip. di Informatica, Univ
- Cited by 13 (2 self) – Add To MetaCart
-
Enforcing Security Policies via Types
- Enforcing Security Policies via Types ⋆ Daniele Gorla Rosario Pugliese Dipartimento di Sistemi e
- Add To MetaCart
-
A Distributed Calculus for R ole-Based Access Control
- A Distributed Calculus for R ole-Based Access Control Chiara Braghin Daniele Gorla Vladimiro
- Add To MetaCart

