Library Open Repository
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.
ppdp01.pdf | Download (175kB)
Available under University of Tasmania Standard License.
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|
|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|