Validating firewalls in mobile ambients

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

Volumn 1664 LNCS, Issue , 1999, Pages 463-477

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

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); POLYNOMIAL APPROXIMATION;

ACTIVE PROCESS; AMBIENT CALCULUS; CONTROL FLOW ANALYSIS; MOBILE AMBIENTS; POLYNOMIAL-TIME ALGORITHMS;

CALCULATIONS;

EID: 35048826704     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_32     Document Type: Conference Paper

References (9)

1. M.Abadi: Secrecy by typing in security protocols. In Proceedings of Theoretical Aspects of Computer Software, volume 1281 of Lecture Notes in Computer Science, pages 611-638, Springer Verlag, 1997.
2. A.Aiken: Set constraints: Results, applications and future directions. In Proceedings of the Second Workshop on the Principles and Practices of Concurrent Programming, volume 874 of Lecture Notes in Computer Science, pages 171-179, Springer Verlag, 1994.
3. C.Bodei, P.Degano, F.Nielson, H.R.Nielson: Control Flow Analysis for the π-calculus. In Proceedings CONCUR'98, volume 1466 of Lecture Notes in Computer Science, pages 84-98, Springer Verlag, 1998.
4. C.Bodei, P.Degano, F.Nielson, H.R.Nielson: Static analysis of processes for no readup and no write-down. In Proceedings FoSSaCS'99, volume 1578 of Lecture Notes in Computer Science, pages 120-134, Springer Verlag, 1999.
5. L.Cardelli, A.D.Gordon: Mobile Ambients. In Proceedings FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-155, Springer Verlag, 1998.
6. L.Cardelli, A.D.Gordon: Types for Mobile Ambients. In Proceedings POPL'99, pages 7992, ACM Press, 1999.
7. R.R.Hansen, J.G.Jensen: Flow Logics for Mobile Ambients. M.Sc.-thesis, 1999.
8. T.Jensen, D.LeMétayer, T.Thorn: Security and Dynamic Class Loading in Java: formalisation. Report IRISA, Rennes, 1997.
9. F.Nielson, H.R.Nielson, C.Hankin: Principles of Program Analysis, Springer Verlag, 1999.