University of Tasmania
Browse
ppdp01.pdf (171.17 kB)

Trust in the pi-Calculus

Download (171.17 kB)
conference contribution
posted on 2023-05-26, 09:55 authored by Hepburn, M, Wright, D
We introduce a new system of trust analysis for concurrent and distributed systems using the pi-calculus as a modelling tool. A Type system using boolean annotations guarantees that no run-time errors due to untrusted data. being used in a trusted context are possible. We improve on other similar systems by introducing a safe environment in which trust-coercion can be performed based on the results of run-time checks. An algorithm for deducing the most general types for the type system is presented.

History

Pagination

103-114

Publisher

ACM Press

Publication status

  • Published

Event title

Principles and Practice of Declarative Programming

Event Venue

Florence, Italy

Date of Event (Start Date)

2001-09-01

Date of Event (End Date)

2001-09-01

Repository Status

  • Open

Usage metrics

    University Of Tasmania

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC