James Riely, MATTHEW HENNESSY  Home/Search
Context
Related
| depaul.edu/~jriely/p...99sldraft.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: depaul.edu/~jriely/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In open distributed systems of mobile agents, where code from remote sites may run locally, protection of sensitive data and system resources is of paramount importance. We present a security-based typing system that provides such protection, using a mix of static and runtime typing; mobile agents are allowed access to local resources in accordance with security clearance. We formalize security violations as runtime errors and prove that, using our semantics, security violations cannot occur... (Update)
Similar documents (at the sentence level):
50.9%: Secure Resource Access for Mobile Agents - Riely, Hennessy (Correct)
Active bibliography (related documents): More All
0.3: Trust and Partial Typing in Open Systems of Mobile Agents.. - Riely, Hennessy (1999) (Correct)
0.3: Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
0.2: Information Society Technologies - Ist Programme Contract (Correct)
Similar documents based on text: More All
0.2: Resource Access Control in Systems of Mobile Agents (Extended .. - Hennesey, Riely (1998) (Correct)
0.1: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
0.1: Resource Access Control in Systems of Mobile Agents - Hennessy, Riely (1998) (Correct)
BibTeX entry: (Update)
@misc{ riely-secure,
author = "James Riely and MATTHEW HENNESSY",
title = "Secure Resource Access for Open Systems",
url = "citeseer.ist.psu.edu/320993.html" }
Citations (may not include all citations):566 Proof-carrying code - Necula - 1996
410 Mobile ambients - Cardelli, Gordon - 1998
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1998
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
264 A language with distributed scope - Cardelli - 1995
201 to typed assembly language (context) - Morrisett, Walker et al. - 1998
196 A lattice model of secure information flow (context) - Denning - 1976
169 A type system for java bytecode subroutines - Stata, Abadi - 1998
158 Certification of programs for secure information flow (context) - Denning - 1977
158 Secrecy by typing in security protocols - Abadi - 1997
152 A sound type system for secure flow analysis - Volpano, Smith et al. - 1996
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano - 1998
126 Types for mobile ambients - Cardelli, Gordon - 1999
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
85 The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke - 1998
74 untrusted agents using proof-carrying code (context) - Necula, Lee - 1998
66 Security properties of typed applets - leroy, Rouaix - 1998
64 Low-level security in java (context) - Yellin - 1995
45 Location-independent communication for mobile agents: a two-.. - Sewell, Wojciechowski et al. - 1998
39 local subtyping and capability inference for a distributed p.. (context) - Sewell - 1998
31 A calculus with code mobility - Sekiguchi, Yonezawa - 1997
28 Coordinating mobile agents via blackboards and access rights (context) - De Nicola, Ferrari et al. - 1997
26 Klaim: a kernel language for agents interaction and mobility - De Nicola, Ferrari et al. - 1998
23 Implicit typing a la ML for the join-calculus - Fournet, Laneve et al. - 1997
22 Language Support for Mobile Agents - Knabe - 1995
22 Semantics for communication primitives in a polymorphic lang.. - Ohori, Kato - 1993
19 Efficient code certification - Kozen - 1998
15 A calculus of secure mobile computations - Vitek, Castagna - 1998
15 Proving trust in systems of second-order processes (context) - Dam - 1998
9 Types as specifications of access policies - DeNicola, Ferrari et al. - 1999
Documents on the same site (http://www.depaul.edu/~jriely/): More
Resource Access Control in Systems of Mobile Agents - Hennessy (1998) (Correct)
Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (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