Seuraa
Daniele Gorla
Daniele Gorla
Tuntematon yhteys
Vahvistettu sähköpostiosoite verkkotunnuksessa di.uniroma1.it
Nimike
Viittaukset
Viittaukset
Vuosi
Towards a unified approach to encodability and separation results for process calculi
D Gorla
Information and Computation 208 (9), 1031-1053, 2010
1492010
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
Global Computing. Programming Environments, Languages, Security, and …, 2003
1492003
Resource access and mobility control with dynamic privileges acquisition
D Gorla, R Pugliese
International Colloquium on Automata, Languages, and Programming, 119-132, 2003
642003
Towards a unified approach to encodability and separation results for process calculi
D Gorla
International Conference on Concurrency Theory, 492-507, 2008
612008
Full abstraction for expressiveness: history, myths and facts
D Gorla, U Nestmann
Mathematical Structures in Computer Science 26 (4), 639-654, 2016
532016
On the expressive power of KLAIM-based calculi
R De Nicola, D Gorla, R Pugliese
Theoretical Computer Science 356 (3), 387-421, 2006
492006
Security policies as membranes in systems for global computing
D Gorla, M Hennessy, V Sassone
Logical Methods in Computer Science 1, 2005
372005
Basic observables for a calculus for global computing
R De Nicola, D Gorla, R Pugliese
Information and Computation 205 (10), 1491-1525, 2007
342007
Doctor: A simple method for detecting misclassification errors
F Granese, M Romanelli, D Gorla, C Palamidessi, P Piantanida
Advances in Neural Information Processing Systems 34, 5669-5681, 2021
332021
Comparing communication primitives via their relative expressive power
D Gorla
Information and Computation 206 (8), 931-952, 2008
332008
On the relative expressive power of asynchronous communication primitives
D Gorla
International Conference on Foundations of Software Science and Computation …, 2006
312006
A distributed calculus for role-based access control
C Braghin, D Gorla, V Sassone
Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 48-60, 2004
272004
Dynamic management of capabilities in a network aware coordination language
D Gorla, R Pugliese
The Journal of Logic and Algebraic Programming 78 (8), 665-689, 2009
262009
Concurrent pattern calculus
T Given-Wilson, D Gorla, B Jay
IFIP International Conference on Theoretical Computer Science, 244-258, 2010
252010
A taxonomy of process calculi for distribution and mobility
D Gorla
Distributed Computing 23 (4), 273-299, 2010
232010
Role-based access control for a distributed calculus
C Braghin, D Gorla, V Sassone
Journal of Computer Security 14 (2), 113-155, 2006
232006
Inferring dynamic credentials for role-based trust management
D Gorla, M Hennessy, V Sassone
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
222006
Basic observables for a calculus for global computing
R De Nicola, D Gorla, R Pugliese
International Colloquium on Automata, Languages, and Programming, 1226-1238, 2005
222005
Enforcing security policies via types
D Gorla, R Pugliese
Security in Pervasive Computing: First International Conference, Boppard …, 2004
222004
From flow logic to static type systems for coordination languages
R De Nicola, D Gorla, RR Hansen, F Nielson, HR Nielson, CW Probst, ...
Science of Computer Programming 75 (6), 376-397, 2010
192010
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20