Trust and Partial Typing in Open Systems of Mobile Agents

Riely, James and Hennessy, Matthew (2003) Trust and Partial Typing in Open Systems of Mobile Agents. Journal of Automated Reasoning, 31 (3-4). pp. 335-370. ISSN 0168-7433

Download (398kB) | Preview


We present a partially typed semantics for Dπ, a distributed π-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: Article
Keywords: partial typing - trust - type safety
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Chris Keene
Date Deposited: 27 Feb 2008
Last Modified: 30 Nov 2012 16:51
Google Scholar:117 Citations

View download statistics for this item

📧 Request an update