Open AccessUsing Ambients to Control Resources*
Author(s) -
David Teller,
Pascal Zimmer,
Daniel Hirschkoff
Publication year - 2002
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-45694-5_20
Subject(s) - computer science , denial of service attack , reliability (semiconductor) , distributed computing , resource (disambiguation) , extension (predicate logic) , software , resolution (logic) , computer security , theoretical computer science , embedded system , programming language , operating system , computer network , power (physics) , physics , the internet , quantum mechanics
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom