Skip to main content
SpringerLink
Log in

Safe Ambients: Control Flow Analysis and Security

  • Conference paper
  • First Online:
Advances in Computing Science — ASIAN 2000 (ASIAN 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1961))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

  2. 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.

    Google Scholar 

  3. L. Cardelli, G. Ghelli and A. Gordon Mobility types for mobile ambients. Proceedings of ICALP’ 99, LNCS 1644, pages 230–239. Springer-Verlag, 1999.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. L. Cardelli and G. Ghelli Ambient Groups and Mobility Types. Proceedings of IFIP TCS 2000. To appear.

    Google Scholar 

  6. L. Cardelli and A. Gordon. Mobile Ambients Proceedings of FoSSaCS’ 98, LNCS 1378, pages 140–155. Springer-Verlag, 1998.

    Google Scholar 

  7. L. Cardelli and A. Gordon. Equational Properties of Mobile Ambients Proceedings of FoSSaCS’ 99, LNCS 1578, pages 212–226. Springer-Verlag, 1999.

    Google Scholar 

  8. P. Cousot and R. Cousot, Systematic Design of Program Analysis Frameworks, Proceedings of POPL’ 79, pages 269–282, ACM Press, 1979.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. H. R. Nielson and F. Nielson Shape Analysis for Mobile Ambients Proceedings of POPL’ 00, pages 135–148, ACM Press, 2000.

    Google Scholar 

  15. F. Nielson and H. R. Nielson and C. Hankin, Principles of Program Analysis, Springer,1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Universitá di Pisa, Corso Italia 40, I-56100, Pisa, Italy

    Pierpaolo Degano, Francesca Levi & Chiara Bodei

Authors
  1. Pierpaolo Degano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesca Levi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chiara Bodei
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes,Estrada do Engenheiro Trigo NO 4, Macau, China

    He Jifeng

  2. Graduate School of Informatics, Kyoto University, 606-8501, Kyoto, Sakyo-ku, Japan

    Masahiko Sato

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation