David Teller, Pascal Zimmer, Daniel Hirschkoff  Home/Search
Context Related
| sop.inria.fr/mimosa/Pa...concur02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sop.inria.fr/mimosa/P...engPublis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Cited by: More
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2002) (Correct)
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (Correct)
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (Correct)
Active bibliography (related documents): More All
0.2: Encoding Channels in Typed Ambients - Guan, You (Correct)
0.1: Guardians for Ambient-Based Monitoring - Ferrari, Moggi, Pugliese (2002) (Correct)
0.1: A Control Flow Analysis for Safe and Boxed Ambients - Levi, Bodei (2004) (Correct)
Similar documents based on text:
2.0: Unknown - (Correct)
Related documents from co-citation: More All
37: Controlling interference in ambients - Levi, Sangiorgi - 2000
31: Mobile ambients - Cardelli, Gordon - 1998
29: Boxed ambients - Bugliesi, Castagna et al. - 2001
BibTeX entry: (Update)
D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to control resources. In Proceedings of Concur'02, LNCS 2421, Springer, 2002. http://citeseer.ist.psu.edu/teller02using.html More
@misc{ teller02using,
author = "D. Teller and P. Zimmer and D. Hirschkoff",
title = "Using Ambients to control resources",
text = "D. Teller, P. Zimmer, and D. Hirschkoff. Using Ambients to control resources.
In Proceedings of Concur'02, LNCS 2421, Springer, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/teller02using.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli, Gordon - 1998
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
144 Controlling interference in ambients - Levi, Sangiorgi - 2000
126 Types for mobile ambients - Cardelli, Gordon - 1999
123 PLAN: A Packet Language for Active Networks - Hicks, Kakkar et al. - 1999
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
94 Seal: A Framework for Secure Mobile Computations - Vitek, Castagna - 1999
69 Boxed ambients - Bugliesi, Castagna et al. - 2001
58 Bisimulation congruences in safe ambients - Merro, Hennessy - 2002
47 Equational properties of mobile ambients - Gordon, Cardelli - 1999
41 Using Ambients to Control Resources - Teller, Zimmer et al. - 2002
37 Recursion and dynamic data-structures in bounded space: Towa.. - Hughes, Pareto - 1999
30 Finite-control mobile ambients - Charatonik, Gordon et al. - 2002
24 A distributed abstract machine for Safe Ambients (context) - Sangiorgi, Valente - 2001
23 A distributed implementation of mobile ambients (context) - Fournet, evy et al.
22 Security types for mobile safe ambients (context) - Dezani-Ciancaglini, Salvo - 2000
19 Resource bound certi cation (context) - Crary, Weirich - 2000
13 Making ambients more robust - Guan, Yang et al. - 2000
8 A distributed garbage collector with di usion tree reorganis.. (context) - Moreau - 1998
3 ementation des Controlled Ambients en JoCaml (context) - Gazagnaire, Pous - 2002
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-sop.inria.fr/mimosa/Pascal.Zimmer/engPublis.html): More
Recursion in the Call-by-Value λ-Calculus - Boudol, Zimmer (2002) (Correct)
Using Ambients to Control Resources - Teller, Zimmer, Hirschkoff (2004) (Correct)
On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC