Abstract interpretation of mobile ambients

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

Volumn 1694, Issue , 1999, Pages 134-148

  Hansen, René Rydhof ^a   Jensen, Jacob Grydholt ^a   Nielson, Flemming ^a   Nielson, Hanne Riis ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BIOMINERALIZATION; DIFFERENTIATION (CALCULUS); MODEL CHECKING; SEMANTICS; STATIC ANALYSIS;

ABSTRACT INTERPRETATIONS; AMBIENT CALCULUS; CONSTRAINT-BASED; MOBILE AMBIENTS; MOORE FAMILY; PI CALCULUS;

CALCULATIONS;

EID: 84957649493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48294-6_9     Document Type: Conference Paper

References (9)

1. C. Bodei, P. Degano, F. Nielson, and H. R. Nielson. Control Flow Analysis for the π-calculus. In Proc. CONCUR'98, volume 1466 of Lecture Notes in Computer Science, pages 84-98. Springer-Verlag, 1998.
2. C. Bodei, P. Degano, F. Nielson, and H. R. Nielson. Static Analysis of Processes for No Read-Up and No Write-Down. In Proc. FoSSaCS'99, volume 1578 of Lecture Notes in Computer Science, pages 120-134. Springer-Verlag, 1999.
3. L. Cardelli and A. D. Gordon. Mobile Ambients. In Proc. FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer-Verlag, 1998.
4. L. Cardelli and A. D. Gordon. Types for Mobile Ambients. In Proc. POPL'99, pages 79-92. ACM Press, 1999.
5. R. R. Hansen and J. G. Jensen. Flow Logics for Mobile Ambients. M.Sc. thesis, Aarhus University, 1999.
6. T. Jensen, D. LeMétayer, and T. Thorn. Security and Dynamic Class Loading in Java: A Formalisation. Technical report, IRISA, Rennes, 1997.
7. F. Nielson, H. R. Nielson, R. R. Hansen, and J. G. Jensen. Validating Firewalls in Mobile Ambients. In Proc. CONCUR'99, Lecture Notes in Computer Science. Springer-Verlag, 1999. To appear.
8. A. Venet. Abstract Interpretation of the π-calculus. In Analysis and Verification of Multiple-Agent Languages, volume 1192 of Lecture Notes in Computer Science, pages 51-75. Springer-Verlag, 1997.
9. A. Venet. Automatic Determination of Communication Topologies in Mobile Systems. In Proc. SAS'98, volume 1503 of Lecture Notes in Computer Science, pages 152-167. Springer-Verlag, 1998.