Abstract interpretation of mobile ambients

Science of Computer Programming

Volumn 47, Issue 2-3, 2003, Pages 145-175

  Nielson, Flemming ^a   Hansen, René Rydhof ^a   Nielson, Hanne Riis ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY;

MOBILE AMBIENTS;

OBJECT ORIENTED PROGRAMMING;

EID: 0037400699     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(02)00131-4     Document Type: Conference Paper

References (14)

1. Bodei C., Degano P., Nielson F., Riis Nielson H. Control flow analysis for the. π -calculus Proc. Concurrency Theory, CONCUR'98. Lecture Notes in Computer Science. Vol. 1466:1998;84-98 Springer, Berlin.
2. Bodei C., Degano P., Nielson F., Riis Nielson H. Static analysis of processes for no read-up and no write-down. Proc. FoSSaCS'99. Lecture Notes in Computer Science. Vol. 1578:1999;120-134 Springer, Berlin.
3. Cardelli L., Gordon A.D. Mobile ambients. Proc. FoSSaCS'98, Lecture Notes in Computer Science. Vol. 1378. 1998;140-155 Springer, Berlin.
4. Cardeli L., Gordon A.D. Types for mobile ambients. Conf. Rec. Annu. ACM Symp. on Principles of Programming Languages, POPL'99. 1999;79-92 ACM Press, New York.
5. Cousot P., Cousot R. Systematic design of program analysis frameworks. Conf. Rec. Annu. ACM Symp. on Principles of Programming Languages, POPL'97. 1979;269-282 ACM Press, New York.
6. Gong Li, Inside Java 2 Platform Security. 1999;Addison-Wesley, Reading, MA.
7. Hansen R.R., Jensen J.G., Nielson F., Riis Nielson H. Abstract interpretation of mobile ambients. Cortesi A., Filé G. Proc. Static Anal. Symp. SAS'99. Lecture Notes in Computer Science. Vol. 1694:1999;134-148 Springer, Berlin.
8. Nielson F., Riis Nielson H., Hankin C. Principles of Program Analysis. 1999;Springer, Berlin.
9. Nielson F., Seidl H. Control-flow analysis in cubic time. Proc. ESOP'01, Lecture Notes in Computer Science. 2001;Springer, Berlin.
10. Nielson F., Riis Nilson H., Sagiv M. A Kleene analysis of mobile ambients. Proc. Eur. Symp. on Programming, ESOP'00. Lecture Notes in Computer Science. Vol. 1782:2000;305-319 Springer, Berlin.
11. Nielson F., Riis Nielson H., Hansen R.R., Jensen J.G. Validating firewalls in mobile ambients. Proc. Concurrency Theory, CONCUR'99, Lecture Notes in Computer Science. 1999;463-477 Springer, Berlin.
12. Riis Nielson H., Nielson F. Shape analysis for mobile ambients. Conf. Rec. Annu. ACM Symp. on Principles of Programming Languages, POPL'00. 2000;142-154 ACM Press, New York.
13. A. Venet, Abstract interpretation of the π -calculus, in: Proc. Analysis and Verification of Multiple-Agent Languages, Lecture Notes in Computer Science, Vol. 1192, Springer, Berlin, 1197, pp. 51-75.
14. Venet A. Automatic determination of communication topologies in mobile systems. Proc. Static Analysis Symp., SAS'98. Lecture Notes in Computer Science. Vol. 1503:1998;152-167 Springer, Berlin.