Library Open Repository

Trust in the pi-Calculus

Downloads

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.

[img]
Preview
PDF
ppdp01.pdf | Download (175kB)
Available under University of Tasmania Standard License.

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
Publisher: ACM Press
Page Range: pp. 103-114
Date Deposited: 12 Aug 2004
Last Modified: 18 Nov 2014 03:10
URI: http://eprints.utas.edu.au/id/eprint/39
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page