Library Open Repository
Execution Contexts for Determining Trust in a Higher-Order pi-Calculus
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|
|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|