Stebėti
Roberto Gorrieri
Roberto Gorrieri
Professor of computer science, Università di Bologna
Patvirtintas el. paštas unibo.it
Pavadinimas
Cituota
Cituota
Metai
A classification of security properties for process algebras
R Focardi, R Gorrieri
Journal of Computer security 3 (1), 5-33, 1995
4701995
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
4361998
Classification of Security Properties: (Part I: Information Flow)
R Focardi, R Gorrieri
International School on Foundations of Security Analysis and Design, 331-396, 2000
3402000
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
2751997
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
2522006
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
2022005
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
1822006
Non interference for the analysis of cryptographic protocols
R Focardi, R Gorrieri, F Martinelli
International Colloquium on Automata, Languages, and Programming, 354-372, 2000
1672000
Extended Markovian process algebra
M Bernardo, R Gorrieri
International Conference on Concurrency Theory, 315-330, 1996
1311996
A Petri net semantics for π-calculus
N Busi, R Gorrieri
International Conference on Concurrency Theory, 145-159, 1995
1251995
The theory of interactive generalized semi-Markov processes
M Bravetti, R Gorrieri
Theoretical Computer Science 282 (1), 5-32, 2002
1222002
A process algebraic view of Linda coordination primitives
N Busi, R Gorrieri, G Zavattaro
Theoretical Computer Science 192 (2), 167-199, 1998
1221998
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
1152000
Action refinement
R Gorrieri, A Rensink
Handbook of process algebra, 1047-1147, 2001
1122001
A theory of processes with durational actions
R Gorrieri, M Roccetti, E Stancampiano
Theoretical Computer Science 140 (1), 73-94, 1995
1121995
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
1092004
On the expressiveness of Linda coordination primitives
N Busi, R Gorrieri, G Zavattaro
Information and Computation 156 (1-2), 90-121, 2000
1052000
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
931998
Real-time information flow analysis
R Focardi, R Gorrieri, F Martinelli
IEEE Journal on Selected Areas in Communications 21 (1), 20-35, 2003
882003
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
832000
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20