Dependency analysis of mobile systems

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

Volumn 2305, Issue , 2002, Pages 314-329

  Feret, Jérome ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; STATIC ANALYSIS;

ABSTRACT INTERPRETATIONS; DEPENDENCY ANALYSIS; DEPENDENCY RELATION; MOBILE SYSTEMS; PI CALCULUS;

MOBILE AGENTS;

EID: 84957051675     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45927-8_22     Document Type: Conference Paper

References (12)

1. G. Berry and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96:217–248, 1992.
2. C. Bodei, P. Degano, F. Nielson, and H.R Nielson. Control flow analysis for the π-calculus. In Proc. CONCUR’98, LNCS. Springer-Verlag, 1998.
3. L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. In Proc. CONCUR’00, LNCS. Springer-Verlag, 2000.
4. 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.
5. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of logic and computation, 2(4):511–547, August 1992.
6. P. Cousot and R. Cousot. Comparing the Galois connection and widening-- narrowing approaches to abstract interpretation. In Proc. PLILP’92, LNCS. Springer-Verlag, 1992.
7. J. Feret. Confidentiality analysis for mobiles systems. In Proc. SAS’00, LNCS. Springer-Verlag, 2000.
8. J. Feret. Occurrence counting analysis for the π-calculus. ENTCS, 39.2, 2001. Workshop on GEometry and Topology in COncurrency theory, PennState, USA, August 21, 2000.
9. M. Karr. Affine relationships among variables of a program. Acta Informatica, pages 133–151, 1976.
10. R. J. Parikh. On context-free languages. Journal of the ACM, 13:570–581, 1966.
11. D. N. Turner. The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, Edinburgh University, 1995.
12. A. Venet. Automatic determination of communication topologies in mobile systems. In Proc. SAS’98, LNCS. Springer-Verlag, 1998.