Using Ambients to Control Resources - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2002

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.
Fichier principal
Vignette du fichier
RR2002-16.pdf (467.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02101869 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101869 , version 1

Citer

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⟩
23 Consultations
115 Téléchargements

Partager

Gmail Facebook X LinkedIn More