David Teller, Pascal Zimmer, Daniel Hirschkoff  Home/Search
Context Related
| sop.inria.fr/mimos...ijis_resources.pdf 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 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 control led ambients , that is suited for expressing such issues, specifically denial of service attacks. We present a type system for controlled... (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.9: Effect system for BoCa: a Prolog Implementation - de'Liguoro, Falzetta (Correct)
0.6: Formalisms for Mobile Resource Control - Teller (2003) (Correct)
0.2: A Calculus of Kells - Jean-Bernard Stefani Inria (2003) (Correct)
Similar documents based on text: More All
0.3: Subtyping and Typing Algorithms for Mobile Ambients - Zimmer (1999) (Correct)
0.2: Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (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/article/teller04using.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/article/teller04using.html" }
Citations (may not include all citations):410 Mobile ambients - Cardelli - 1998
390 A calculus of bounded capacities - Sassone, Barbanera et al. - 2003
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 - 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
55 Resource bound certification - Crary, Weirich - 2000
47 Equational properties of mobile ambients - AD - 1999
45 Communication interference in mobile boxed ambients - Bugliesi, Crafa et al. - 2002
41 Using ambients to control resources - Teller, Zimmer et al. - 2002
37 Recursion and dynamic datastructures in bounded space: towar.. - Hughes, Pareto - 1999
30 Finite-control mobile ambients - Charatonik - 2002
24 A distributed abstract machine for safe ambients (context) - Sangiorgi, Valente - 2001
23 A distributed implementation of mobile ambients (context) - Fournet, Levy
22 Security types for mobile safe ambients (context) - Dezani-Ciancaglini, Salvo - 1961
20 The strength of non-size increasing computation (context) - Hofmann - 2002
13 Making ambients more robust - Guan, Yang et al. - 2000
13 Types for the ambient calculus - Cardelli, Ghelli et al. - 2002
13 Max-plus quasi-interpretations (context) - Amadio - 2003
8 Nomadic pi calculi: expressing and verifying infrastructure .. (context) - Unyapoth - 2001
8 A calculus of higher-order distributed components - J-B - 2003
8 A distributed garbage collector with di#usion tree reorganis.. (context) - Moreau - 1998
6 Formalisms for mobile resource control - Teller - 2003
3 Implementation 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)
On the Expressiveness of Pure Safe Ambients - Zimmer (2002) (Correct)
A Calculus for Context-Awareness - Pascal Zimmer Brics (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