International Journal of Information Security

, Volume 2, Issue 3, pp 126–144

Using ambients to control resources


DOI: 10.1007/s10207-004-0035-y

Cite this article as:
Teller, D., Zimmer, P. & Hirschkoff, D. IJIS (2004) 2: 126. doi:10.1007/s10207-004-0035-y


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 aim 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, and enhance it with a rich notion of resources .


Global computingProcess algebraResource controlType system

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  • David Teller
    • 1
  • Pascal Zimmer
    • 2
  • Daniel Hirschkoff
    • 1
  1. 1.LIP – ENS LyonFrance
  2. 2.INRIA Sophia AntipolisFrance