Security boundaries in mobile ambients

Computer Languages

Volumn 28, Issue 1, 2002, Pages 101-127

  Braghin, Chiara ^a   Cortesi, Agostino ^a   Focardi, Riccardo ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Mobile ambients; Security; Static analysis

Indexed keywords

COMPUTATION THEORY; INFORMATION THEORY; SECURITY OF DATA; INFORMATION ANALYSIS; MOBILE TELECOMMUNICATION SYSTEMS; SYSTEMS SCIENCE;

MOBILE AMBIENTS; CONTROL FLOW ANALYSIS; MOBILE; SECURITY; STATIC ANALYSIS;

DISTRIBUTED COMPUTER SYSTEMS; SECURITY OF DATA;

EID: 0036555708     PISSN: 00960551     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0096-0551(02)00009-7     Document Type: Article

References (20)

1. Braghin C., Cortesi A., Focardi R. Control flow analysis of mobile ambients with security boundaries. Jacobs B., Rensink A. Proceedings of Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS '02). 2002;197-212 Kluwer Academic Publisher, Dordrecht.
2. Cortesi A., Focardi R. Information flow security in mobile ambients. In: Proceedings of International Workshop on Concurrency and Coordination (ConCoord '01), Electronic Notes on Theoretical Computer Science, ENTCS, vol. 54. Amsterdam: Elsevier, July 6-8, 2001.
3. Cardelli L., Gordon A.D. Mobile ambients. In: Nivat M, editor. Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes in Computer Science, vol. 1378, Berlin, Germany, Springer, March 1998, p. 140-55.
4. Bodei C., Degano P., Nielson F., Nielson H.R. Static analysis of processes for No read-up and No write-down. In: Proceedings of FoSSaCS '99, Lecture Notes in Computer Science, No. 1578. Berlin: Springer, 1999. p. 120-34.
5. Focardi R., Gorrieri G., Martinelli F. Information flow analysis in a discrete-time process algebra. In: Proceedings of the 13th Computer Security Foundations Workshop (CSFW). Silver Spring, MD: IEEE Computer Society Press, 2000. p. 170-84.
6. Focardi R., Gorrieri R. A classification of security properties for process algebras. Journal of Computer Security. 3(1):1995;5-33.
7. Focardi R., Gorrieri R. The compositional security checker. a tool for the verification of information flow security properties IEEE Transactions on Software Engineering. 23(9):1997;550-571.
8. Hennessy M., Riely J. Information flow vs. resource access in the asynchronous pi-calculus. In: Montanari U, Rolim J, Welzl E, editors. Proceedings of the International Colloquium on Automata Languages and Programming, Lecture Notes in Computer Science, vol. 1853. Berlin, Geneva: Springer, August 2000, p. 415-27.
9. Smith G., Volpano D. Secure information flow in a multi-threaded imperative language. In: Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, New York, NY, 1998. p. 355-64.
10. Bugliesi M., Castagna G., Crafa S. Boxed ambients. In: Proceedings of the Fourth International Conference on Theoretical Aspects of Computer Science (TACS '01), Lecture Notes in Computer Science, vol. 2215. Berlin: Springer, 2000. p. 38-63.
11. Levi F., Sangiorgi D. Controlling interference in ambients. In: Proceedings of the 28th ACM Symposium on Principles of Programming Languages (POPL '01), 2000. p. 352-64.
12. Hansen R.R., Jensen J.G., Nielson F., Nielson H.R. Abstract interpretation of mobile ambients. Cortesi A., File' G. Proceedings of Static Analysis Symposium (SAS '99). Lecture Notes in Computer Science. No. 1694:1999;134-148 Springer, Berlin.
13. Nielson F., Hansen R.R., Nielson H.R. Abstract interpretation of mobile ambients. In: Cortesi A, File' G, editors. Science of computer programming (Special Issue on Static Analysis), to appear.
14. Bodei C., Degano P., Nielson F., Nielson H.R. Control flow analysis for the π -calculus. In: Proceedings of CONCUR '98, Lecture Notes in Computer Science, No. 1466. Berlin: Springer, 1998. p. 84-98.
15. Cardelli L., Ghelli G., Gordon A.D. Ambient groups and mobility types. In: Van Leeuwen J., Watanabe O., Hagiya M., Mosses P.D., Ito T., editors. Theoretical computer science: exploring new frontiers of theoretical informatics. Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), Lecture Notes in Computer Science, vol. 1872. New York, Berlin: IFIP, Springer, August 2000. p. 333-47.
16. Dezani-Ciancaglini M., Salvo I. Security types for mobile safe ambients. In: He J., Sato M., editors. Proceedings of Advances in Computing Science - ASIAN '00 (Sixth Asian Computing Science Conference, Penang, Malaysia), Lecture Notes in Computer Science, vol. 1961, Berlin, Springer, December 2000, p. 215-36.
17. Degano P., Levi F., Bodei C. Safe ambients: control flow analysis and security. In: He J, Sato M, editors. Proceedings of Advances in Computing Science - ASIAN '00 (Sixth Asian Computing Science Conference, Penang, Malaysia), Lecture Notes in Computer Science, vol. 1961, Berlin, Springer, December 2000, p. 199-214.
18. Bugliesi M., Castagna G. Secure safe ambients. In: Proceedings of 28th ACM Symposium on Principles of Programming Languages (POPL '01). New York: ACM Press, 2001. p. 222-35.
19. Bugliesi M, Castagna G. Behavioural typing of safe ambients. Journal of Computer Security, this issue.
20. Levi F., Bodei C. Security analysis for mobile ambients. In: Electronic Proceedings of IFIP WG 1.7 Workshop on Issues on the Theory of Security (WITS '00), Geneve, 2000.