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