Control flow analysis of mobile ambients with security boundaries

IFIP Advances in Information and Communication Technology

Volumn 81, Issue , 2002, Pages 197-212

  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

CALCULATIONS; FORMAL METHODS; STATIC ANALYSIS; SYNTACTICS;

BOUNDARY CROSSING; CONTROL FLOW ANALYSIS; MOBILE AMBIENTS; MOBILE PROCESS; MOBILE SYSTEMS; MULTI-LEVEL SECURITY POLICIES; SECURITY; SYNTACTIC PROPERTIES;

NETWORK SECURITY;

EID: 84891342409     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35496-5_14     Document Type: Article

References (11)

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 12Q-134Q, 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.
6. Focardi, R. and Gorrieri, R. (1995). A Classification of Security Properties for Process Algebras, Journal of Computer Security, 3(1): 5-33.
7. Focardi, R. and Gorrieri, R. (1997). The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties, IEEE Transactions on Software Engineering, Vol. 23, No. 9.
8. Focardi, R., Gorrieri, R. and Martinelli, F. (2000). Information Flow Analysis in a Discrete Time Process Algebra, in Proc. of 13th IEEE Computer Security Foundations Workshop (CSFW13), (PSyverson ed), IEEE CS Press, 170-184.
9. Hansen, R. R., Jensen, J. G., Nielson, F. and Nielson, H. R. (1999). Abstract Interpretation of Mobile Ambients. In Proc. Static Analysis Symposium SAS'99, volume 1694 of Lecture Notes in Computer Science, pages 134-148, Springer-Verlag.
10. Hennessy, M. and Riely, J. (2000). Information Flow vs. Resource Access in the Asynchronous Pi-Calculus. ICALP 2000: 415-427.
11. Smith, G. and Volpano, D. M. (1998). Secure Information Flow in a Multi-Threaded Imperative Language. In Proc. of POPL 1998: 355-364.