Using Ambients to Control Resources (long version) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Using Ambients to Control Resources (long version)

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 Controlled Ambients, that is suited for expressing such issues, specifically Denial of Service attacks. We present a type system for Controlled Ambients, which makes static resource control possible in our setting.
Fichier principal
Vignette du fichier
IJIS_ca.pdf (267.52 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00020253 , version 1 (08-03-2006)

Identifiants

Citer

David Teller, Pascal Zimmer, Daniel Hirschkoff. Using Ambients to Control Resources (long version). 2004, pp.126 - 144, ⟨10.1007/s10207-004-0035-y⟩. ⟨hal-00020253⟩
825 Consultations
221 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More