Using Ambients to Control Resources (long version)

David Teller 1 Pascal Zimmer 2 Daniel Hirschkoff 1
2 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : 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.
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00020253
Contributor : David Teller <>
Submitted on : Wednesday, March 8, 2006 - 3:44:38 PM
Last modification on : Thursday, December 19, 2019 - 1:15:47 AM
Long-term archiving on: Saturday, April 3, 2010 - 8:30:09 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

926

Files downloads

348