Author:
Braghin Chiara,Cortesi Agostino,Focardi Riccardo,Luccio Flaminia L.,Piazza Carla
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. C. Bodei, P. Degano, F. Nielson, and H. Riis Nielson. Static Analysis for the π-calculus with Applications to Security. Information and Computation, 165:68–92, 2001.
2. Lect Notes Comput Sci;C. Bodei,1998
3. C. Braghin, A. Cortesi, and R. Focardi. Security Boundaries in Mobile Ambients. Computer Languages, Elsevier, 28(1):101–127, Nov. 2002.
4. C. Braghin, A. Cortesi, and R. Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In B. Jacobs and A. Rensink, editors, Proc. of Fifth Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, pages 197–212. Kluwer Academic Publisher, 2002.
5. C. Braghin, A. Cortesi, R. Focardi, and S. van Bakel. Boundary Inference for Enforcing Security Policies in Mobile Ambients. In Proc. of The 2nd IFIP International Conference on Theoretical Computer Science (TCS), Kluwer Academic Publisher, pages 383–395, 2002.