| A classification of security properties for process algebras R Focardi, R Gorrieri Journal of Computer security 3 (1), 5-33, 1995 | 458 | 1995 |
| A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time M Bernardo, R Gorrieri Theoretical Computer Science 202 (1-2), 1-54, 1998 | 434 | 1998 |
| Classification of Security Properties: (Part I: Information Flow) R Focardi, R Gorrieri International School on Foundations of Security Analysis and Design, 331-396, 2000 | 334 | 2000 |
| The compositional security checker: A tool for the verification of information flow security properties R Focardi, R Gorrieri IEEE Transactions on Software Engineering 23 (9), 550-571, 1997 | 274 | 1997 |
| SOCK: A Calculus for Service Oriented Computing C Guidi, R Lucchi, R Gorrieri, N Busi, G Zavattaro Service-Oriented Computing–ICSOC 2006: 4th International Conference, Chicago …, 2006 | 248 | 2006 |
| Choreography and orchestration: A synergic approach for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro Service-Oriented Computing-ICSOC 2005: Third International Conference …, 2005 | 201 | 2005 |
| Choreography and orchestration conformance for system design N Busi, R Gorrieri, C Guidi, R Lucchi, G Zavattaro Coordination Models and Languages: 8th International Conference …, 2006 | 178 | 2006 |
| Non interference for the analysis of cryptographic protocols R Focardi, R Gorrieri, F Martinelli International Colloquium on Automata, Languages, and Programming, 354-372, 2000 | 163 | 2000 |
| Extended Markovian process algebra M Bernardo, R Gorrieri International Conference on Concurrency Theory, 315-330, 1996 | 131 | 1996 |
| A Petri net semantics for π-calculus N Busi, R Gorrieri International Conference on Concurrency Theory, 145-159, 1995 | 124 | 1995 |
| A process algebraic view of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Theoretical Computer Science 192 (2), 167-199, 1998 | 123 | 1998 |
| The theory of interactive generalized semi-Markov processes M Bravetti, R Gorrieri Theoretical Computer Science 282 (1), 5-32, 2002 | 118 | 2002 |
| Information flow analysis in a discrete-time process algebra R Focardi, R Gorrieri, F Martinelli Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 170-184, 2000 | 114 | 2000 |
| A theory of processes with durational actions R Gorrieri, M Roccetti, E Stancampiano Theoretical Computer Science 140 (1), 73-94, 1995 | 110 | 1995 |
| Action refinement R Gorrieri, A Rensink Handbook of process algebra, 1047-1147, 2001 | 109 | 2001 |
| A process-algebraic approach for the analysis of probabilistic noninterference A Aldini, M Bravetti, R Gorrieri Journal of Computer Security 12 (2), 191-245, 2004 | 106 | 2004 |
| On the expressiveness of Linda coordination primitives N Busi, R Gorrieri, G Zavattaro Information and Computation 156 (1-2), 90-121, 2000 | 102 | 2000 |
| Towards performance evaluation with general distributions in process algebras M Bravetti, M Bernardo, R Gorrieri CONCUR'98 Concurrency Theory: 9th International Conference Nice, France …, 1998 | 93 | 1998 |
| Real-time information flow analysis R Focardi, R Gorrieri, F Martinelli IEEE Journal on Selected Areas in Communications 21 (1), 20-35, 2003 | 84 | 2003 |
| A compiler for analyzing cryptographic protocols using noninterference A Durante, R Focardi, R Gorrieri ACM Transactions on Software Engineering and Methodology (TOSEM) 9 (4), 488-528, 2000 | 83 | 2000 |
Riccardo FocardiDAIS, Ca' Foscari University, VeniceVerified email at unive.it
