M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda, in: , 2005, 128(5), pp. 39 - 53 (atti di: 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo'04), Londra (UK), agosto 2004) [Contributo in Atti di convegno]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Quantitative Information in the Tuple Space Coordination Model, «THEORETICAL COMPUTER SCIENCE», 2005, 346(1), pp. 28 - 57 [articolo]
R. Gorrieri; C. Guidi; R. Lucchi, Reasoning about interaction patterns in Choreography, in: Lecture Notes in Computer Science, HEIDELBERG, Springer, 2005, 3670, pp. 333 - 348 (atti di: Proc. of 2nd International Workshop on Web Services and Formal Methods -- WS-FM'05, Versailles, Francia, 1-3 Settembre 2005) [Contributo in Atti di convegno]
M.Bravetti; N. Busi; R. Gorrieri; R. Lucchi; G. Zavattaro, Security Issues in the Tuple-Space Coordination Model, in: Formal Aspects in Security and Trust, BERLINO, Springer, «IFIP INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING», 2005, 173, pp. 1 - 12 (atti di: Workshop on Formal Aspects in Security and Trust, Toulouse, August 22-27, 2004) [Contributo in Atti di convegno]
N. Busi; R. Gorrieri; C. Guidi; R. Lucchi; G. Zavattaro;, Towards a formal framework for Choreography, in: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, LOS ALAMITOS, s.n, 2005, pp. 107 - 112 (atti di: Enabling Technologies: Infrastructure for Collaborative Enterprise, 2005. 14th IEEE International Workshops on, Linkoping, Sweden, 13-15 June 2005) [Contributo in Atti di convegno]
A. Troina; A. Aldini; R. Gorrieri, Towards a Formal Treatment of Secrecy against Computational Adversaries, in: Global Computing, Heidelberg, Springer, 2005, pp. 77 - 92 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
A.Aldini; M.Bravetti; R.Gorrieri, A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference, «JOURNAL OF COMPUTER SECURITY», 2004, 12(2), pp. 191 - 246 [articolo]
Roberto Gorrieri; F.Martinelli, A Simple Framework for Real-time Cryptographic Protocol Analysis with Compositional Proof Rules, «SCIENCE OF COMPUTER PROGRAMMING», 2004, 50(1-3), pp. 23 - 49 [articolo]
BUSI N.; R. GORRIERI, A Survey on Non-Interference with Petri Nets, in: Lectures on Concurrency and Petri Nets, Heidelberg, Springer, 2004, pp. 328 - 344 [capitolo di libro]
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto, Approximating Imperfect Cryptography in a Formal Model, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2004, 99, pp. 183 - 203 [articolo]
R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci, Automated Analysis of Timed Security: A Case Study on Web Privacy, «INTERNATIONAL JOURNAL OF INFORMATION SECURITY», 2004, 2(3-4), pp. 168 - 186 [articolo]
R.Focardi; R.Gorrieri; F.Martinelli, Classification of Security Properties. Part II: Network Security, in: Foundations of Security Analysis and Design II, Heidelberg, Springer, 2004, pp. 139 - 185 [capitolo di libro]
M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro, Combining Partitions in SecSpaces, in: , 2004, 99(6), pp. 31 - 47 (atti di: Proceedings of the MEFISTO Project 2003 (Formal Methods for Security and Time), Pisa (Italia), novembre 2003) [Contributo in Atti di convegno]
V.Ciaschini; R.Gorrieri, Contrasting Malicious Applets by Modifying the Java Virtual Machine, in: Security and Protection in Information Processing Systems, NEW YORK, Kluwer, 2004, pp. 47 - 64 (atti di: IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, Toulouse, France., 22-27 August 2004,) [Contributo in Atti di convegno]
R. Focardi; R. Gorrieri, Foundations of Security Analysis and design II, HEIDELBERG, Springer, 2004, pp. 267 (Lecture Notes in Computer Science 2946). [curatela]
