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://sro.sussex.ac.uk/id/eprint/26462

📧 Request an update