Using Ambients to Control Resources (2002)
Cached
Download Links
by
David Teller
,
Pascal Zimmer
,
Daniel Hirschkoff
| Citations: | 32 - 9 self |
BibTeX
@MISC{Teller02usingambients,
author = {David Teller and Pascal Zimmer and Daniel Hirschkoff},
title = {Using Ambients to Control Resources},
year = {2002}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Current software and hardware systems, being parallel and recon gurable, 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, speci cally Denial of Service attacks. We present a type system for Controlled Ambients, which makes resource control possible in our setting.
