Using Ambients to Control Resources

D. Teller (1) , P. Zimmer (2) , Daniel Hirschkoff (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 CRISAM - Inria Sophia Antipolis - Méditerranée

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

Le systèmes logiciels et matériels actuels, qui sont reconfigurables et parallèles, sont aussi plus fragiles et sensibles aux pannes et aux malveillances. De nombreuses approches tentent de réduire les risques de bugs ou de protéger contre certaines formes d'attaques, comme les Denial of Service. Dans ce document nous étendons le calcul des Mobile Ambients en un formalisme, les Ambients Contrôlés, approprié pour la modélisation et l'étude de problèmes de ressources. Pour ce langage, nous définissons également un système de types qui permet de garantir de manière statique une propriété de contrôle des ressources.

Mots clés: Mobile Ambients; Distributed and Mobile Systems; Process Algebra; Resource Control; Type System

Mots clés: Contrôle de ressources; Système de types; Ambients mobiles; Algèbre de processus; Systèmes distribués et mobiles

Domaines: Informatique [cs]

D. Teller, P. Zimmer, Daniel Hirschkoff. Using Ambients to Control Resources. [Research Report] LIP RR-2002-16, Laboratoire de l'informatique du parallélisme. 2002, 2+28p. ⟨hal-02101869⟩