Mobile Calculi based on Domains


Using Ambients to Control Resources

D. Teller and P. Zimmer and D. Hirschkoff

Abstract

Current software and hardware systems, being parallel and reconfigurable, raise new safety and reliability problems, and the re-solution 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.

@InProceedings\{teller.zimmer.hirschkoff:using-ambients-control-resources,
  author = \{D. Teller and P. Zimmer and D. Hirschkoff},
  title = \{Using Ambients to Control Resources},
  booktitle = \{Proceedings of CONCUR 2002 -- Concurrency Theory},
  year = \{2002}, 
  pages = \{288--303}, 
  volume = \{2421}, 
  series = \{Lecturer notes in computer science}, 
  publisher = \{Springer Verlag}, 
  url = \{http://mikado.di.fc.ul.pt/repository/teller.zimmer.hirschkoff_using-ambients-control-resources.pdf}
}


About this site. Last modified: Wed Nov 22 08:34:16 CET 2017