- Enforcing Security Policies via Types Daniele Gorla1,2
- Network Applications of Graph Bisimulation Pietro Cenciarelli1
- Information and Computation, 205(10):14911525. c Elsevier, 2007. Basic Observables for a Calculus for Global
- Basic Observables for a Calculus for Global Computing Rocco De Nicola1
- Basic Observables for a Calculus for Global Computing Rocco De Nicola1
- Science of Computer Programming, 64(2):187204. c Elsevier, 2007. Global Computing in a Dynamic Network
- On Compositional Reasoning in the Spi-calculus Michele Boreale and Daniele Gorla
- Concurrent Pattern Calculus Thomas Given-Wilson1
- A Taxonomy of Process Calculi for Distribution and Mobility Daniele Gorla
- Proc. of MFPS'09, ENTCS 249:269-286. c Elsevier. On the Relative Expressive Power of Calculi
- Comparing Communication Primitives via their Relative Expressive Power
- Pattern Matching over a Dynamic Network of Tuple Spaces
- Theoretical Computer Science, 356(3):387421. c Elsevier, 2006. On the Expressive Power of KLAIM-based Calculi
- From Flow Logic to Static Type Systems for Coordination Languages
- Inferring Dynamic Credentials for R^ole-based Trust Management Daniele Gorla
- Science of Computer Programming, 63(1):5787. c Elsevier, 2006. Confining Data and Processes
- In Proc. of the 19th Symposium on Applied Computing (SAC'04), pages 14621467. c ACM. Controlling Data Movement in Global Computing Applications
- Enforcing Security Policies via Types Daniele Gorla Rosario Pugliese
- The KLAIM Project: Theory and Practice Lorenzo Bettini1
- A Distributed Calculus for R^ole-Based Access Control
- Information hiding: state-of-the-art and emerging trends
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Comparing Calculi for Mobility via their Relative Expressive Power
- 5th International Workshop on Security Issues in Concurrency September 3rd, 2007, Lisboa (Portugal) --Affiliated to CONCUR 2007
- Journal of Logic and Algebraic Programming, 78:665 689. c Elsevier, 2009. Dynamic management of capabilities in a network
- R^ole-Based Access Control for a Distributed Calculus
- Depletable Channels: Dynamics and Behaviour Pietro Cenciarelli, Daniele Gorla and Ivano Salvo
- On the Relative Expressive Power of Asynchronous Communication Primitives
- CURRICULUM VITAE Daniele Gorla
- Process Calculi and the Verification of Security Michele Boreale Daniele Gorla
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- To Appear in Logical Methods in Computer Science SECURITY POLICIES AS MEMBRANES IN SYSTEMS FOR GLOBAL COMPUTING
- Resource Access and Mobility Control with Dynamic Privileges Acquisition
- A Semiring-based Trace Semantics for Processes with Applications to Information Leakage Analysis
- On the Relative Expressive Power of Asynchronous Communication Primitives
- Depletable Channels: Dynamics and Behaviour Pietro Cenciarelli, Daniele Gorla and Ivano Salvo
- CURRICULUM VITAE ame and Surname: Daniele Gorla
- Concurrent Pattern Calculus Thomas Given-Wilson1
- In Proc. of 17th Computer Security Foundations Workshop (CSFW'04), pagg. 4860. c IEEE. A Distributed Calculus for R^ole-Based Access Control
- Global Computing in a Dynamic Network of Tuple Spaces
- Mathematical Structures in Computer Science, 20(3):319358. c C.U.P. 2010. Tree-Functors, Determinacy and Bisimulations
- A Semiring-based Trace Semantics for Processes with Applications to Information Leakage Analysis
- 5th International Workshop on Security Issues in Concurrency September 3rd, 2007, Lisboa (Portugal) | Aliated to CONCUR 2007
- "! #$&% '()101243651798A@&BDCFE51G&3IHPERQ c 'S1TVUVW XYUP`RQ
- On the Relative Expressive Power of Ambient-based Calculi
- From Flow Logic to Static Type Systems for Coordination Rocco De Nicolaa,
- Preliminary Proceedings 5th International Workshop on
- Proc. of FGUC'04, ENTCS 138(1):23-42. c Elsevier. Security Policies as Membranes
