jarfinal.ps (389.55 kB)
Trust and partial typing in open systems of mobile agents
journal contributionposted on 2023-06-07, 14:10 authored by James Riely, Matthew Hennessy
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.
JournalJournal of Automated Reasoning
Department affiliated with
- Informatics Publications
Full text available