Using Ambients to Control Resources
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|