Boundary Inference for Enforcing Security Policies in Mobile Ambients-Reference-Cited by-同舟云学术

Boundary Inference for Enforcing Security Policies in Mobile Ambients

Published:2002 Issue: Volume: Page:383-395
ISSN:
Container-title:Foundations of Information Technology in the Era of Network and Mobile Computing
language:
Short-container-title:

Author:

Braghin Chiara,Cortesi Agostino,Focardi Riccardo,Bakel Steffen

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35608-2_32

Reference13 articles.

1. US Department of Defense. DoD Trusted Computer System Evaluation Criteria. DOD 5200.28-STD, 1985.

2. C. Bodei, P. Degano, F. Nielson, and H.R.Nielson. 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, 1999.

3. Chiara Braghin, Agostino Cortesi, and Riccardo Focardi. Control Flow Analysis of Mobile Ambients with Security Boundaries. In Bart Jacobs and Arend Rensink, editors, Proc. of Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’02), pages 197–212. Kluwer Academic Publisher, 2002.

4. M. Bugliesi and G. Castagna. Secure Safe Ambients. In Proc. 28th ACM Symposium on Principles of Programming Languages (POPL’01), pp. 222–235, London. 2001.

5. L. Cardelli and A. Gordon. Mobile Ambients. In Proc. FoSSaCS’98, volume 1378 of Lecture Notes in Computer Science, pages 140–155, Springer-Verlag, 1998.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Heuristics for Safety and Security Constraints;Electronic Notes in Theoretical Computer Science;2007-04

2. Nesting analysis of mobile ambients;Computer Languages, Systems & Structures;2004-10

3. Banana - A Tool for Boundary Ambients Nesting ANAlysis;Tools and Algorithms for the Construction and Analysis of Systems;2003

4. Complexity of Nesting Analysis in Mobile Ambients;Lecture Notes in Computer Science;2002-12-16