Matthew Hennessy, James Riely  Home/Search
Context Related
| infosys.tuwien.ac....98TRresources.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: infosys.tuwien.ac.a...spsecurity (more) Homepages: M.Hennessy |
Rate this article:      (best)Comment on this article |
Abstract: . We describe a typing system for a distributed p-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a location type, which describes the set of resources available to an agent at a location. Resources are... (Update)
Cited by: More
Secure Composition of Insecure Components - Sewell, Vitek (1999) (Correct)
Authenticity by Typing for Security Protocols - Andrew Gordon Microsoft (2001) (Correct)
Mobility Types for Mobile Ambients - Cardelli, Ghelli, Gordon (1999) (Correct)
Similar documents (at the sentence level):
54.9%: Resource Access Control in Systems of Mobile Agents - Hennessy, Riely (1998) (Correct)
6.1%: Resource Access Control in Systems of Mobile Agents (Extended .. - Hennesey, Riely (Correct)
Active bibliography (related documents): More All
0.4: A Typed Language for Distributed Mobile Processes (Extended.. - Riely, Hennessy (1998) (Correct)
0.3: Distributed Processes and Location Failures (Extended Abstract) - Riely, Hennessy (Correct)
0.1: Distributed Processes and Location Failures - Riely (1997) (Correct)
Similar documents based on text: More All
0.3: Information Flow vs. Resource Access in the Asynchronous.. - Hennessy, Riely (2000) (Correct)
0.2: Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
0.2: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
Related documents from co-citation: More All
58: Mobile ambients - Cardelli, Gordon - 1998
56: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
36: Information and Computation (context) - Milner, Parrow et al. - 1992
BibTeX entry: (Update)
M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Technical Report 2/98, University of Sussex, 1998. http://citeseer.ist.psu.edu/article/hennessy98resource.html More
@inproceedings{ hennessy/riely:resacs,
key = {\emph{HLCL~'98}},
author = {Matthew Hennessy and James Riely},
title = {Resource Access Control in Systems of Mobile Agents},
booktitle = {Proceedings of HLCL~'98: High-Level Concurrent Languages},
year = {1998},
series = {Electronic Notes in Theoretical Computer Science},
number = {16.3},
pages = {3--17},
publisher = {Elsevier},
url = {citeseer.ist.psu.edu/article/hennessy98resource.html} }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
309 Communications of the ACM (context) - Carriero, Gelernter et al. - 1989
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
264 A language with distributed scope - Cardelli - 1995
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
116 A typed language for distributed mobile processes - Riely, Hennessy - 1998
115 An asynchronous model of locality (context) - Amadio - 1997
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1995
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
85 The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke - 1998
61 Localities and failures - Amadio, Prasad - 1994
61 A world-wide distributed system using java and the internet - Chandy - 1996 ACM DBLP
52 IEEE Internet Computing (context) - Karjoth, Lange et al. - 1997
52 The chemical abstract machine (context) - Berry, Boudol - 1990 ACM DBLP
46 Bauhaus Linda (context) - Carriero, Gelernter et al. - 1995 ACM DBLP
25 Java home page (context) - Inc - 1995
23 Implicit typing a la ml for the join-calculus - Fournet, Laneve et al. - 1997
14 A symmetric integration of concurrent and functional program.. (context) - Giacalone, Mishra et al. - 1989
14 local subtyping for a distributed p-calculus (context) - Sewell - 1997
13 Coordinating mobile agents via blackboards and access rights (context) - De Nicola, Ferrari et al. - 1997 ACM DBLP
11 Laboratoire d'Informatique de Marseille (context) - Amadio, Prasad et al. - 1997
7 The IBM aglets workbench (context) - Corp - 1996
5 The refliexive CHAM and the join-calculus (context) - Fournet, Gonthier - 1996
1 Available from @BACA'DFEGHGJICICILKNM'OPKQMSRUTVKRWMXK (context) - Gordon, Draft et al. - 1997
1 fDjRWM_]pKQMCeoTgGJi`eSqBR_bW (context) - Inc, BACA'DFE et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.infosys.tuwien.ac.at/Research/Agents/sp-security.html):
Agent Tcl: A flexible and secure mobile-agent system - Gray (1996) (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