Open Access Repository

Execution Contexts for Determining Trust in a Higher-Order pi-Calculus


Downloads per month over past year

Hepburn, M and Wright, D (2003) Execution Contexts for Determining Trust in a Higher-Order pi-Calculus. Technical Report. Unpublished. (Unpublished)

fgcTechReport.pdf | Download (377kB)
Available under University of Tasmania Standard License.

| Preview


A type system for the higher order pi-calculus is presented, using boolean annotations to carry information about the integrity of data. This extends previous work by the authors for a first order calculus; we argue that in a higher order setting certain notions of trustedness depend on the potential for communication during execution. In addition, we develop a statically determinable method for performing safe run-time trust coercions.

Item Type: Report (Technical Report)
Authors/Creators:Hepburn, M and Wright, D
Keywords: run-time coercion, pi-calculus, integrity, flow analysis, trust
Publisher: Unpublished
Additional Information:

An extended abstract of this report was submitted to FGC'03

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