Trust in the pi-Calculus

Hepburn, M and Wright, D (2001) Trust in the pi-Calculus. In: Principles and Practice of Declarative Programming, September, 2001, Florence, Italy.

Preview

PDF - Requires a PDF viewer
171Kb

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
Keywords:	pi calculus, run-time coercion, flow analysis, trust, annotations
ID Code:	39
Deposited By:	utas eprints
Deposited On:	12 Aug 2004
Last Modified:	18 Jul 2008 19:37
ePrint Statistics:	View statistics for this ePrint

Repository Staff Only: item control page