Published April 2002
| Version v1
Report
Using Ambients to Control Resources
Creators
Contributors
Others:
- Laboratoire de l'Informatique du Parallélisme (LIP) ; École normale supérieure de Lyon (ENS de Lyon) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)
- Centre Inria d'Université Côte d'Azur (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)
- Laboratoire de l'informatique du parallélisme
Description
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
Abstract (French)
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.Additional details
Identifiers
- URL
- https://hal-lara.archives-ouvertes.fr/hal-02101869
- URN
- urn:oai:HAL:hal-02101869v1
Origin repository
- Origin repository
- UNICA