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.

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

Item Statistics: View statistics for this item

Actions (login required)

Item Control Page Item Control Page