• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Using Ambients to Control Resources (2002)

Cached

  • Download as a PDF
  •  
  • Download as a PS

Download Links

  • [perso.ens-lyon.fr]
  • [www-sop.inria.fr]
  • [www.ens-lyon.fr]
  • [www.it.uu.se]
  • [perso.ens-lyon.fr]
  • [ftp.ens-lyon.fr]
  • [www-sop.inria.fr]
  • [www-sop.inria.fr]
  • [mikado.di.fc.ul.pt]
  • [www-sop.inria.fr]

  • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by David Teller , Pascal Zimmer , Daniel Hirschkoff
Citations:32 - 9 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Teller02usingambients,
    author = {David Teller and Pascal Zimmer and Daniel Hirschkoff},
    title = {Using Ambients to Control Resources},
    year = {2002}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

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.

Citations

725 Mobile ambients - Cardelli, Gordon - 1998
250 A calculus of mobile agents - Fournet, Gonthier, et al. - 1996
174 Resource access control in systems of mobile agents - Hennessy - 2002
147 PLAN: A packet language for active networks - Hicks, Kakkar, et al. - 1998
142 Types for Mobile Ambients - Cardelli, Gordon - 1999
117 Controlling Interference for Ambients - Levi, Sangiorgi - 2000
111 Resource bound certification - Crary, Weirich - 2000
87 Seal: A framework for secure mobile computations - Vitek, Castagna - 1999
75 A typed language for distributed mobile processes (extended abstract - Riely, Hennessy - 1998
73 Boxed ambients - Bugliesi, Castagna, et al. - 2001
72 Recursion and dynamic data structures in bounded space: towards embedded ML programming - RJM, Pareto - 1999
56 Equational properties of mobile ambients - Gordon, Cardelli
51 Bisimulation Congruences in Safe Ambients - Merro, Hennessy - 2002
44 An asynchronous, distributed implementation of mobile ambients., in - Fournet, Lévy, et al.
28 A Distributed Abstract Machine for Safe Ambients - Sangiorgi, Valente - 2001
14 Resource Bound Certi - Crary, Weirich - 2000
14 Making ambients more robust - Guan, Yang, et al. - 2000
13 Security types for mobile safe ambients - Dezani-Ciancaglini, Salvo - 2000
13 A distributed garbage collector with diffusion tree reorganisation and mobile objects - Moreau - 1998
3 Implémentation des Controlled Ambients en JoCaml. Students project – Magistère d’Informatique ENS - Gazagnaire, Pous - 2002
1 Students project - Magist`ere d'Informatique ENS - Gordon, Cardelli
1 A distributed abstract machine for Safe Ambients - Press - 1998
1 Makingambients more robust - XudongGuan, You - 2000
1 UsingAmbients to Control Resources - Teller, Zimmer, et al. - 2002
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University