ppdp01.pdf (171.17 kB)
Trust in the pi-Calculus
conference contribution
posted on 2023-05-26, 09:55 authored by Hepburn, M, Wright, DWe introduce a new system of trust analysis for concurrent and distributed systems using the pi-calculus as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to untrusted data. being used in a trusted context are possible. We improve on other similar systems by introducing a safe environment in which trust-coercion can be performed based on the results of run-time checks. An algorithm for deducing the most general types for the type system is presented.
History
Pagination
103-114Publisher
ACM PressPublication status
- Published
Event title
Principles and Practice of Declarative ProgrammingEvent Venue
Florence, ItalyDate of Event (Start Date)
2001-09-01Date of Event (End Date)
2001-09-01Repository Status
- Open