Abstract interpretation of mobile systems

Journal of Logic and Algebraic Programming

Volumn 63, Issue 1, 2005, Pages 59-130

  Feret, Jérôme ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Abstract interpretation; Control flow analysis; Mobility; Occurrence counting analysis; Static analysis; Worst case analysis; calculus

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; MOBILE TELECOMMUNICATION SYSTEMS; PROBLEM SOLVING; SEMANTICS;

ABSTRACT INTERPRETATION; CONTROL FLOW ANALYSIS; MOBILITY; OCCURRENCE COUNTING ANALYSIS; STATIC ANALYSIS; WORST CASE ANALYSIS; Π-CALCULUS;

ABSTRACTING;

EID: 14644433764     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2004.01.005     Document Type: Article

References (29)

1. C. Bodei, P. Degano, F. Nielson, H. Riis Nielson, Control flow analysis for the π -calculus, in: Proc. CONCUR'98, LNCS, Springer-Verlag, 1998
2. C. Bodei, P. Degano, F. Nielson, H. Riis Nielson, Static analysis of processes for no read-up and no write-down, in: Proc. FoSSaCS'99, LNCS, Springer-Verlag, 1999
3. Bodei C., Degano P., Nielson F., Riis Nielson H. Static analysis for the. π -calculus with applications to security Information and Computation. 165:2000
4. L. Cardelli, G. Ghelli, A.D. Gordon, Secrecy and group creation, in: Proc. CONCUR'00, LNCS, Springer-Verlag, 2000
5. C.K. Chiu, J.H.M. Lee, Interval linear constraint solving using the preconditioned interval Gauss-Seidel method, in: Proc. ICLP'95, Logic Programming, The MIT Press, 1995
6. P. Cousot, Semantic foundations of program analysis, in: Program Flow Analysis: Theory and Applications, Prentice-Hall, 1981 (Chapter 10)
7. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. POPL'77, ACM Press, 1977
8. Cousot P., Cousot R. Abstract interpretation frameworks. Journal of Logic and Computation. 2(4):1992
9. P. Cousot, R. Cousot, Comparing the Galois connection and widening-narrowing approaches to abstract interpretation, in: Proc. PLILP'92, LNCS, Springer-Verlag, 1992
10. P. Cousot, N. Halbwachs, Automatic discovery of linear restraints among variables of a program, in: Proc. POPL'78. ACM Press, 1978
11. de Bruijn N.G. Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem. Indagationes Mathematicae. 34(5):1972
12. N. Dershowitz, J. Jouannaud. Rewrite systems, in: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), Elsevier Science Publishers, 1990
13. D. Dolev, A.C. Yao. On the security of public key protocols (extended abstract), in: Proc. FOCS'81, IEEE Press, 1981
14. J. Feret, Conception de π -sa: un analyseur statique générique pour le π -calcul, Graduate thesis, École Polytechnique, September 1999. Electronically available at http://www.di.ens.fr/ ~feret/dea/dea.ps
15. P. Granger, Static analysis of linear congruence equalities among variables of a program, in: Proc. TAPSOFT'91, LNCS, Springer-Verlag, 1991
16. R.R. Hansen, J.G. Jensen, F. Nielson, H. Riis Nielson, Abstract interpretation of mobile ambients, in: Proc. SAS'99, LNCS, Springer-Verlag, 1999
17. M. Hennessy, J. Riely, Resource access control in systems of mobile agents, in: Proc. HLCL'98, ENTCS, vol. 16.3, Elsevier Science Publishers, 1998
18. A. Igarashi, N. Kobayashi, A generic type system for the π -calculus, in: Proc. POPL'01, ACM, 2001
19. Karr M. Affine relationships among variables of a program. Acta Informatica. 1976
20. R. Milner, The polyadic π -calculus: a tutorial, in: Proceedings of the International Summer School on Logic and Algebra of Specification, Springer-Verlag, 1991
21. Milner R., Parrow J., Walker D. A calculus of mobile processes. Information and Computation. 1992
22. A. Miné The octagon abstract domain, in: Proc. AST'01 in WCRE'01, IEEE Press, 2001
23. F. Nielson, H. Seidl, Control-flow analysis in cubic time, in: Proc. ESOP'01, LNCS, Springer-Verlag, 2001
24. H. Riis Nielson, F. Nielson, Shape analysis for mobile ambients, in: Proc. POPL'00, ACM Press, 2000
25. Parikh R.J. On context-free languages. Journal of the ACM. 13:1966
26. S.K. Rajamani, J. Rehof, A behavioral module system for the π -calculus, in: Proc. SAS'01, LNCS, Springer-Verlag, 2001
27. D.N. Turner, The polymorphic π -calculus: theory and implementation, PhD thesis, Edinburgh University, 1995
28. A. Venet. Abstract interpretation of the π -calculus, in: Proc. LOMAPS'97, LNCS, Springer-Verlag, 1997
29. A. Venet, Automatic determination of communication topologies in mobile systems, in: Proc. SAS'98, LNCS, Springer-Verlag, 1998