Trust in the pi-Calculus

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.