James Riely  Home/Search
Context Related
| para.inria.fr/~lefes...00026RH98.ps.gz cogs.susx.ac.uk/pub/repor...cs0498.ps.Z cogs.susx.ac.uk/pub/rep...cs041998.ps.Z 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: para.inria.fr/~lefessan/b...publi (more) From: i2.informatik.rwthaachen....0175 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a partially-typed semantics for Dp, a distributed p-calculus. The semantics is designed for mobile agents in open distributed systems in which some sites may harbor malicious intentions. Nonetheless, the semantics guarantees traditional type-safety properties at good locations by using a mixture of static and dynamic type-checking. We show how the semantics can be extended to allow trust between sites, improving performance and expressiveness without compromising type-safety. 1... (Update)
Cited by: More
Assigning Types to Processes - Yoshida, Hennessy (2000) (Correct)
Security Policies as Membranes in Systems for Global.. - Gorla, Hennessy, Sassone (2004) (Correct)
safeDpi: a language for controlling mobile code - Hennessy, Rathke, Yoshida (2003) (Correct)
Similar documents (at the sentence level):
70.5%: Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
38.9%: Trust and Partial Typing in Open Systems of Mobile Agents.. - Riely, Hennessy (1999) (Correct)
Active bibliography (related documents): More All
0.3: Secure Resource Access for Open Systems - Riely, HENNESSY (Correct)
0.2: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
0.2: Resource Access Control in Systems of Mobile Agents - Hennessy, Riely (1998) (Correct)
Similar documents based on text: More All
0.3: Avoiding Dynamic Type Checking in a Polymorphic Logic Programming .. - Brisset (Correct)
0.2: Resource Access Control in Systems of Mobile Agents (Extended .. - Hennesey, Riely (1998) (Correct)
0.2: Secure Resource Access for Mobile Agents - Riely, Hennessy (Correct)
Related documents from co-citation: More All
43: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
34: Mobile ambients - Cardelli, Gordon - 1998
33: Resource access control in systems of mobile agents - Hennessy, Riely - 1998
BibTeX entry: (Update)
James Riely and Matthew Hennessy. Trust and partial typing in open systems of mobile agents. Computer Science Technical Report 4/98, University of Sussex, 1998. Available from http://www.cogs. susx.ac.uk/. http://citeseer.ist.psu.edu/article/riely98trust.html More
@inproceedings{ riely99trust,
author = "James Riely and Matthew Hennessy",
title = "{Trust and Partial Typing in Open Systems of Mobile Agents}",
booktitle = "Proceedings of the 26th {ACM} {SIGPLAN}-{SIGACT} on Principles of programming languages ({POPL}'99)",
pages = "93--104",
year = "1999",
url = "citeseer.ist.psu.edu/article/riely98trust.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
566 Proof-carrying code - Necula - 1996
404 A calculus for cryptographic protocols: The spi calculus - Abadi, Gordon - 1997
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.
167 Resource access control in systems of mobile agents - Hennessy, Riely - 1998
158 Certification of programs for secure information flow (context) - Denning - 1977
139 Secure information flow in a multi-threaded imperative langu.. - Smith, Volpano
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1996
115 An asynchronous model of locality (context) - Amadio - 1997
85 The SLam calculus: Programming with secrecy and integrity - Heintz, Riecke
64 Low-level security in Java (context) - Yellin - 1995
61 Localities and failures - Amadio, Prasad - 1994
38 Type-safe execution of mobile agents in anonymous networks - Hennessy, Riely - 1998
31 A calculus with code mobility - Sekiguchi, Yonezawa - 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 - 1988
15 Proving trust in systems of second-order processes (context) - Dam - 1998
14 local subtyping for a distributed p-calculus (context) - Sewell - 1997
11 Available from http: //www (context) - Cardelli, Gordon et al. - 1997
6 San Diego (context) - of, Symposium et al. - 1998
3 Ambient decor (context) - Cardelli, Gordon - 1998
3 Available from http://www (context) - Abadi, typing et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://para.inria.fr/~lefessan/biblio/publi.html): More
An Implementation of Complete, Asynchronous.. - Le Fessant, Piumarta, .. (1998) (Correct)
Modelling IP Mobility - Amadio, Prasad (1998) (Correct)
Cyclic Distributed Garbage Collection with Group Merger - Rodrigues, Jones (1997) (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