ppdp01.pdf (171.17 kB)
Trust in the pi-Calculus
conference contributionposted on 2023-05-26, 09:55 authored by Hepburn, M, Wright, D
We 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.
Event titlePrinciples and Practice of Declarative Programming
Event VenueFlorence, Italy
Date of Event (Start Date)2001-09-01
Date of Event (End Date)2001-09-01