James Riely, Matthew Hennessy  Home/Search
Context Related
| ncsu.edu/faculty/r...98TRpartial.ps.gz unc.edu/~riely/pap...98TRpartial.ps.gz cogs.susx.ac.uk/us...98TRpartial.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: ncsu.edu/faculty/riely/papers (more) From: unc.edu/~riely/papers (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):
75.7%: Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
41.8%: 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.1: A Study on Mobile Language Systems - Sekiguchi (1999) (Correct)
0.1: 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.3: Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, 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
410 Mobile ambients - Cardelli, Gordon - 1998
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. - 1998
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 - 1998
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 - 1998
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
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://www.csc.ncsu.edu/faculty/riely/papers.html): More
Testing-Based Abstractions for Value-Passing Systems - Cleaveland, Riely (1994) (Correct)
Trust and Partial Typing in Open Systems of Mobile Agents - Riely, Hennessy (1998) (Correct)
Distributed Processes and Location Failures - Riely (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