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', paper presented at the 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)
Authors/Creators:Hepburn, M and Wright, D
Keywords: pi calculus, run-time coercion, flow analysis, trust, annotations
Publisher: ACM Press
Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page