Abstract
We present a Control Flow Analysis (CFA) for the Safe Ambients, a variant of the calculus of Mobile Ambients. The analysis refines [12] and computes an approximation of the run-time topology of processes. We use the result of the analysis to establish a secrecy property.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
C. Bodei, P. Degano, F. Nielson and H. Riis Nielson. Static Analysis for the π-calculus with their application to security. To appear in Information and Computation. Also available at http://www.di.unipi.it/~chiara/publ-40/BDNNi00.ps.
M. Bugliesi and G. Castagna Secure Safe Ambients and JVM Security. Proceedings of the Workshop on Issues in the Theory of Security 2000 (co-located with ICALP’00), pages 18–23, 2000.
L. Cardelli, G. Ghelli and A. Gordon Mobility types for mobile ambients. Proceedings of ICALP’ 99, LNCS 1644, pages 230–239. Springer-Verlag, 1999.
L. Cardelli and A. Gordon Types for mobile ambients. Proceedings of 26th ACM Principles of Programming Languages (POPL’ 99), pages 79–92. ACM Press, 1999.
L. Cardelli and G. Ghelli Ambient Groups and Mobility Types. Proceedings of IFIP TCS 2000. To appear.
L. Cardelli and A. Gordon. Mobile Ambients Proceedings of FoSSaCS’ 98, LNCS 1378, pages 140–155. Springer-Verlag, 1998.
L. Cardelli and A. Gordon. Equational Properties of Mobile Ambients Proceedings of FoSSaCS’ 99, LNCS 1578, pages 212–226. Springer-Verlag, 1999.
P. Cousot and R. Cousot, Systematic Design of Program Analysis Frameworks, Proceedings of POPL’ 79, pages 269–282, ACM Press, 1979.
F. Levi and C. Bodei Security Analysis of Mobile Ambients. Proceedings of the Workshop on Issues in the Theory of Security 2000 (co-located with ICALP’00), pages 18–23, 2000.
F. Levi and D. Sangiorgi Controlling Interference in Ambients. Proceedings of the 27th ACM Principles of Programming Languages (POPL’ 00), pages 352–364. ACM Press, 2000.
R. Milner and J. Parrow and D. Walker. A calculus of mobile processes, (Part I and II) Information and Computation, number 100, pages 1–77, 1992.
F. Nielson, H. R. Nielson, R. R. Hansen and J. G. Jensen Validating firewalls in mobile ambients. Proceedings of CONCUR’ 99, LNCS 1664, pages 463–477. Springer-Verlag, 1999.
R. R. Hansen and J. G. Jensen and F. Nielson and H. R. Nielson Abstract Interpretation of Mobile Ambients Proceedings of SAS’99, LNCS 1694, pages 135–148, Springer-Verlag, 1999.
H. R. Nielson and F. Nielson Shape Analysis for Mobile Ambients Proceedings of POPL’ 00, pages 135–148, ACM Press, 2000.
F. Nielson and H. R. Nielson and C. Hankin, Principles of Program Analysis, Springer,1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Degano, P., Levi, F., Bodei, C. (2000). Safe Ambients: Control Flow Analysis and Security. In: Jifeng, H., Sato, M. (eds) Advances in Computing Science — ASIAN 2000. ASIAN 2000. Lecture Notes in Computer Science, vol 1961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44464-5_15
Download citation
DOI: https://doi.org/10.1007/3-540-44464-5_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41428-5
Online ISBN: 978-3-540-44464-0
eBook Packages: Springer Book Archive