File(s) not publicly available
Trust and Partial Typing in Open Systems of Mobile Agents.
presentation
posted on 2023-06-08, 06:39 authored by James Riely, Matthew HennessyWe 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.
History
Publication status
- Published
Publisher
Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesPage range
93-104Presentation Type
- paper
Event location
Conference Record of POPL'99: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesEvent type
conferenceDepartment affiliated with
- Informatics Publications
Full text available
- No
Peer reviewed?
- Yes
Legacy Posted Date
2012-02-06Usage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC