Using Ambients to Control Resources David Teller, Pascal Zimmer, and Daniel Hirschkoff
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 resource
control possible in our setting.
|
concur02@fi.muni.cz |