Library Open Repository

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

Downloads

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)

[img]
Preview
PDF
fgcTechReport.pdf | Download (377kB)
Available under University of Tasmania Standard License.

Abstract

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
URI: http://eprints.utas.edu.au/id/eprint/36
Item Statistics: View statistics for this item

Repository Staff Only (login required)

Item Control Page Item Control Page