Safe ambients: Control flow analysis and security

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1961, Issue , 2000, Pages 199-214

  Degano, Pierpaolo ^a   Levi, Francesca ^a   Bodei, Chiara ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONTROL FLOW ANALYSIS; MOBILE AMBIENTS; RUNTIMES; SAFE AMBIENTS; SECRECY PROPERTIES;

CALCULATIONS;

EID: 84957807650     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44464-5_15     Document Type: Conference Paper

References (15)

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.
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.
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.
5. L. Cardelli and G. Ghelli Ambient Groups and Mobility Types. Proceedings of IFIP TCS 2000. To appear.
6. L. Cardelli and A. Gordon. Mobile Ambients Proceedings of FoSSaCS' 98, LNCS 1378, pages 140-155. Springer-Verlag, 1998.
7. L. Cardelli and A. Gordon. Equational Properties of Mobile Ambients Proceedings of FoSSaCS' 99, LNCS 1578, pages 212-226. Springer-Verlag, 1999.
8. P. Cousot and R. Cousot, Systematic Design of Program Analysis Frameworks, Proceedings of POPL '79, pages 269-282, ACM Press, 1979.
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.
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.
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.
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.
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.
14. H. R. Nielson and F. Nielson Shape Analysis for Mobile Ambients Proceedings of POPL' 00, pages 135-148, ACM Press, 2000.
15. F. Nielson and H. R. Nielson and C. Hankin, Principles of Program Analysis, Springer, 1999.