Using Ambients to Control Resources (short abstract)

• Autorzy: Teller D.
• Języki publikacji: PL

Abstrakty

EN

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the resolution of these problems requires new methods. Numerous proposals attempt at reducing the threat of bugs and preventing several kinds of attacks. In this paper, we develop an extension of the calculus of Mobile Ambients, named Controlled Ambients, that is suited for expressing such issues, specifically Denial of Service attacks. We present a type system for Controlled Ambients, which makes resource control possible in our setting.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Schedae Informaticae
• Rocznik: 2003
• Tom: Vol. 12
• Strony: 113--127

Twórcy

autor

Teller D.

• LIP-ENS Lyon, France,

Bibliografia

• [1] Bugliesi M., Castagna G., Crafa S.; Boxed ambients, in: Proc. TACS 2001, Lecture Notes in Computer Science, Vol. 2215, Springer-Verlag, pp. 38-63. 2001.
• [2] Cardelli L., Gordon A.D.; Mobile ambients, in: Proc. of FOSSACS’98, Vol. 1378, Springer-Verlag, 1998, pp. 140-155.
• [3] Charatonik W., Gordon A.D., Talbot J.-M.; Finite-control mobile ambients, in: Proc. of ESOP:02, Lecture Notes in Computer Science, Vol. 2305, 2002, pp. 295-313.
• [4] Crary K., Weirich S.; Resource bound certification, in: Symposium on Principles of Programming Languages (POPL'OOJ, ACM Press, 2000, pp. 184-198.
• [5] Fournet C., Gonthier G., Levy J.-J., Maranget L., Rémy D.; A calculus of mobile agents, in: Proc. of CONCUR’96, Springer Verlag, 1996, pp. 406-421.
• [6] Fournet C., Levy J.-J., Schmitt A.; A distributed implementation of mobile ambients, in: Proc. of IFIP TCS'OO, Springer Verlag, 1972, pp. 348-364.
• [7] Gazagnaire T., Pous D.; Implémentation des Controlled Ambients en JoCarnl, Students projet - Magistère d’informatique ENS, Lyon 2002.
• [8] Hicks M., Kakkar P., Moore J.T., Gunter C.A., Nettles S.; PLAN: A Packet Language for Active Networks, in: Proc. ICFP'99, ACM Press, 1999, pp. 86-93.
• [9] Hughes J., Pareto L.; Recursion and dynamic data-structures in bounded space: Towards embedded ML programming, in: Proc. of ICFP’99, ACM Press, 1999, pp. 70-81.
• [10] Levi F., Sangiorgi D.; Controlling interference in ambients, in: Symposium on Principles of Programming Languages, ACM Press, 2000, pp. 352-364.
• [11] Moreau L.; A distributed garbage collector with diffusion tree reorganisation and mobile objects, in: Proc. of ICFP'98, ACM Press, 1998, pp. 204-215.
• [12] Pous D.; Les mobile ambients en icobj, Technical report, ENS, Lyon 2002.
• [13] Riely J., Hennessy M.; A typed language for distributed mobile processes, in: Proc. of POPL’98, ACM Press, 1998, pp. 378-390.
• [14] Sangiorgi D., Valente A.; .4 distributed abstract machine for Safe Ambients, in: Proc. of ICALP'01, 2001.
• [15] Teller D., Zimmer P., Hirschkoff D.; Using Ambients to Control Resources, Technical Report 2002-16, LIP - ENS, Lyon 2002.