Capability-Passing Processes

Tom Chothia, Dominic Duggan

Research output: Contribution to journalArticlepeer-review

Abstract

Capability-passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually made. It relies on a restricted API or programming language and on the exchange of digital certificates representing capabilities to ensure that participants are faithful to a protocol and that outsiders cannot interfere. At the specification level, protocols are reasoned about independently of the underlying communication, using a process calculus with an abstraction of logs to isolate the remote state required for such protocols. At the implementation level, protocol steps no longer perform global communication; instead capabilities are used to transmit evidence of remote state, which in turn are used to authorize local log changes (corresponding to protocol steps). In this way, an API for global agreement protocols is defined independently of the underlying communication system.

Original languageEnglish
Pages (from-to)3-23
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Volume154
Issue number1 SPEC. ISS.
DOIs
StatePublished - 11 May 2006

Keywords

  • atomic commitment
  • distributed systems
  • global agreement
  • process calculus

Fingerprint

Dive into the research topics of 'Capability-Passing Processes'. Together they form a unique fingerprint.

Cite this