Abstract interpretation-based static analysis of mobile ambients

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

Volumn 2126 LNCS, Issue , 2001, Pages 412-430

  Feret, Jérôme ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; MODEL CHECKING; SEMANTICS;

ABSTRACT INTERPRETATIONS; ABSTRACT SEMANTICS; AMBIENTS; MOBILE AMBIENTS; SAFETY PROPERTY; SECURITY PROPERTIES;

STATIC ANALYSIS;

EID: 84890058869     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47764-0_24     Document Type: Conference Paper

References (20)

1. L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proc. TCS'00, LNCS, pages 333-347. Springer, 2000.
2. L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proc. POPL'99, pages 79-92. ACM, 1999.
3. L. Cardelli and A. D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proc. POPL'00, pages 365-377. ACM Press, 2000.
4. Luca Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1): 177-213, June 2000.
5. P. Cousot. Semantic foundations of program analysis. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 10, pages 303-342. Prentice-Hall, Inc., Englewood Cliffs, 1981.
6. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. POPL'77, pages 238-252, Los Angeles, California, U.S.A., 1977.
7. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4): 511-547, 1992.
8. P. Cousot and R. Cousot. Comparing the Galois connection and widening-narrowing approaches to abstract interpretation. In Proc. PLILP'92, LNCS, pages 269-295. Springer, 1992.
9. J. Feret. Confidentiality analysis of mobile systems. In Proc. SAS'00, LNCS, pages 135-154. Springer, 2000.
10. J. Feret. Occurrence counting analysis for the pi-calculus. Electronic Notes in T heoretical Computer Science, 39(2), 2001.
11. R. R. Hansen, J. G. Jensen, F. Nielson, and H. Riis Nielson. Abstract interpretation of mobile ambients. In Proc. SAS'99, LNCS, pages 134-148. Springer, 1999.
12. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. In Proc. HLCL'98, ENTCS. Elsevier, 1998.
13. M. Hennessy and J. Riely. A typed language for distributed mobile processes. In Proc. POPL'98. ACM Press, 1998.
14. M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133-151, 1976.
15. F. Levi and D. Sangiorgi. Controlling interference in ambients. In Proc. POPL'00, pages 352-364. ACM Press, 2000.
16. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, pages 1-77, 1992.
17. F. Nielson, H. Riis Nielson, R. R. Hansen, and J. G. Jensen. Validating firewalls in mobile ambients. In Proc. CONCUR'99, LNCS, pages 463-477. Springer, 1999.
18. H. Riis Nielson and F. Nielson. Shape analysis for mobile ambients. In Proc. POPL'00, pages 142-154. ACM Press, 2000.
19. R. J. Parikh. On context-free languages. Journal of the ACM, 13: 570-581, 1966.
20. A. Venet. Automatic determination of communication topologies in mobile systems. In Proc. SAS'98, LNCS, pages 152-167. Springer, 1998.