Trust and Partial Typing in Open Systems of Mobile Agents.

Riely, James and Hennessy, Matthew (1999) Trust and Partial Typing in Open Systems of Mobile Agents. In: Unset, Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

Full text not available from this repository.

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.

Item Type: Conference or Workshop Item (Paper)
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Matthew Hennessy
Date Deposited: 06 Feb 2012 20:32
Last Modified: 12 Apr 2012 10:47
URI: http://srodev.sussex.ac.uk/id/eprint/26462
📧 Request an update