Using ambients to control resources

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

Volumn 2421 LNCS, Issue , 2002, Pages 288-303

  Teller, David ^a   Zimmer, Pascal ^b   Hirschkoff, Daniel ^a  

^a UNIV LYON   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DENIAL-OF-SERVICE ATTACK; SOFTWARE RELIABILITY; CALCULATIONS;

AMBIENTS; MOBILE AMBIENTS; RECONFIGURABLE; RELIABILITY PROBLEMS; RESOURCE CONTROL; SOFTWARE AND HARDWARES; TYPE SYSTEMS;

CALCULATIONS; DENIAL-OF-SERVICE ATTACK;

EID: 84874689325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45694-5_20     Document Type: Conference Paper

References (21)

1. Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Boxed ambients. In Proc. TACS 2001, LNCS 2215, pages 38-63. Springer Verlag, 2001.
2. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Proc. of FOSSACS'98, volume 1378, pages 140-155. Springer Verlag, 1998.
3. Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In Symposium on Principles of Programming Languages (POPL'99), pages 79-92. ACM Press, 1999.
4. Witold Charatonik, Andrew D. Gordon, and Jean-Marc Talbot. Finite-control mobile ambients. In Proc. of ESOP'02, volume 2305 of LNCS, pages 295-313, 2002.
5. Karl Crary and Stephanie Weirich. Resource bound certification. In Symposium on Principles of Programming Languages (POPL'00), pages 184-198. ACM Press, 2000.
6. Mariangiola Dezani-Ciancaglini and Ivano Salvo. Security types for mobile safe ambients. In Proc. of ASIAN'00, LNCS 1961, pages 215-236. Springer Verlag, 2000.
7. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Proc. of CONCUR'96, pages 406-421. Springer Verlag, 1996.
8. Cédric Fournet, Jean-Jacques Lévy, and Alan Schmitt. A distributed implementation of mobile ambients. In Proc. of IFIP TCS'00, pages 348-364. Springer Verlag, 1872.
9. T. Gazagnaire and D. Pous. Implémentation des Controlled Ambients en JoCaml. Students project - Magistère d'Informatique ENS Lyon, 2002.
10. Andrew D. Gordon and Luca Cardelli. Equational properties of mobile ambients. In Proc. of FOSSACS'99, volume 1578 of LNCS, pages 212-226. Springer Verlag, 1999.
11. Xudong Guan, Yiling Yang, and Jinyuan You. Makingambients more robust. In Proc. of the International Conference on Software: Theory and Practice, pages 377-384, 2000.
12. Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. In Proceedings of HLCL '98, number 16.3 in ENTCS, pages 3-17. Elsevier, 1998.
13. Michael Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, and Scott Nettles. PLAN: A Packet Language for Active Networks. In Proc. ICFP'99, pages 86-93. ACM Press, 1999.
14. John Hughes and Lars Pareto. Recursion and dynamic data-structures in bounded space: Towards embedded ML programming. In Proc. of ICFP'99, pages 70-81. ACM Press, 1999.
15. Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Symposium on Principles of Programming Languages, pages 352-364. ACM Press, 2000.
16. M. Merro and M. Hennessy. Bisimulation congruences in safe ambients. In Proc. of POPL'02, pages 71-80. ACM Press, 2002.
17. Luc Moreau. A distributed garbage collector with diffusion tree reorganisation and mobile objects. In Proc. of ICFP'98, pages 204-215. ACM Press, 1998.
18. James Riely and Matthew Hennessy. A typed language for distributed mobile processes. In Proc. of POPL'98, pages 378-390. ACM Press, 1998.
19. D. Sangiorgi and A. Valente. A distributed abstract machine for Safe Ambients. In Proc. of ICALP'01, 2001.
20. D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to Control Resources. Technical Report 2002-16, LIP - ENS Lyon, 2002.
21. Jan Vitek and Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Internet Programming Languages, volume 1686 of LNCS. Springer Verlag, 1999.