Author:
Braghin Chiara,Cortesi Agostino,Focardi Riccardo
Reference11 articles.
1. Cortesi, A. and Focardi, R. (2001). Information Flow Security in Mobile Ambients. In Proc. of International Workshop on Concurrency and Coordination CONCOORD’01, Lipari Island, July 2001, volume 54 of Electronic Notes in Theoretical Computer Science, Elsevier.
2. Bodei, C., Degano, P., Nielson, F. and Nielson, H. R. (1999). Static Analysis of Processes for No Read-Up and No-Write-Down. In Proc. FoSSaCS’99, volume 1578 of Lecture Notes in Computer Science,pages 120–134, Springer-Verlag.
3. Bugliesi, M. and Castagna, G. (2001). “Secure Safe Ambients”. Proc. 28th ACM Symposium on Principles of Programming Languages (POPL’01), pp. 222–235, London.
4. Cardelli, L. and Gordon, A. (1998). “Mobile Ambients”. In Proc. FoSSaCS’98, volume 1378 of Lecture Notes in Computer Science,pages 140–155, Springer-Verlag.
5. Degano, P., Levi, F. and Bodei, C. (2000). Safe Ambients: Control Flow Analysis and Security. In proceedings of ASIAN’00, LNCS 1961, 2000, pages 199–214.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献