Please Note:

The Open Access Repository has moved to a new authentication system as of the 1st of November.

Account holders will now be able to login using their University of Tasmania credentials.
If you have trouble logging in please email us on so we can assist you.

Public users can still access the records in this repository as normal

Open Access Repository

Trust in the pi-Calculus


Downloads per month over past year

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

ppdp01.pdf | Download (175kB)
Available under University of Tasmania Standard License.

| Preview


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
Publisher: ACM Press
Page Range: pp. 103-114
Date Deposited: 12 Aug 2004
Last Modified: 18 Nov 2014 03:10
Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page