Due to routine maintenance, access to the Library Open Repository will be interrupted on the morning of Friday 12th February.
We apologise for any inconvenience.

Library Open 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.


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)
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

Repository Staff Only (login required)

Item Control Page Item Control Page