Author:
Braghin Chiara,Cortesi Agostino,Focardi Riccardo
Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. A Bisimulation Method for Cryptographic Protocols;Abadi;Nordic Journal of Computing,1998
2. Barghin C., A. Cortesi, S. Filippone, R. Focardi, F. L. Luccio and C. Piazza, Banana, a Tool for Boundary Ambients Nesting AN Alysis, in: Proc. of The 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 2003.
3. Braghin C., A. Cortesi and R. Focardi, Control Flow Analysis of Mobile Ambients with Security Boundaries, in: B. Jacobs and A. Rensink, editors, Proc. of Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'02) (2002), pp. 197–212.
4. Braghin, C.A. Cortesi and R. Focardi, Freshness Analysis in Security Protocols, in Proc. of 14th Nordic Workshop on Programming Theory (NWPT'02), 2002, pp. 30–33.