Risk Balance in Optimistic Non-repudiation Protocols

  title={Risk Balance in Optimistic Non-repudiation Protocols},
  author={Muhammad Torabi Dashti and J. G. Cederquist and Yanjing Wang},
  booktitle={Formal Aspects in Security and Trust},
We investigate how the behaviors of malicious trusted parties affect participants of optimistic non-repudiation protocols. We introduce a notion of risk balance for exchange protocols. Intuitively, risk balance refers to fairness in the amount of protection a protocol offers to the participants against malicious trustees. We explore how risk balance relates to the notions of accountable trustees and transparent trustees previously introduced by Asokan and Micali, respectively. As a case study… 
1 Citations


On the security of fair non-repudiation protocols
This work analyzes two non-repudiation protocols and finds some new attacks on the fairness and termination property of these protocols, enabled by several inherent design weaknesses, and proposes generic countermeasures that considerably strengthen the design and implementation of the protocols.
Risk Balance in Exchange Protocols
This work allows malicious parties to compromise the trustee by paying a cost and, thereby, presents a game analysis that advocates exchange protocols which induce balanced risks on the participants.
Fair Exchange with a Semi-Trusted Third Party (extended abstract)
We present new protocols for two parties to exchange documents with fairness, i.e., such that no party can gain an advantage by quitting prematurely or otherwise misbehaving. We use a third party
An anonymous and failure resilient fair-exchange e-commerce protocol
Simple and fast optimistic protocols for fair electronic exchange
Fair exchanges that are optimistic are reviewed, that is, relying on a trusted party that does not participate at all in an honest execution and yet guarantees the fairness of all executions.
Contract signing, optimism, and advantage
ExchangeGuard: a distributed protocol for electronic fair-exchange
Detailed security analysis is performed and it is shown that the protocol guarantees effectiveness and fairness with Byzantine failures of up to one third of the untrusted servers and the probability of a fair exchange otherwise is given.
TRICERT: A Distributed Certified E-Mail Scheme
Protocols for distributed certified e-mail use encryption to ensure both confidentiality and fairness, and explore scenarios that support a distributed TTP, in the context of both off-line and online protocols.
Optimistic fair exchange
A fair exchange guarantees that a participant only reveals its items (such as signatures, payments, or data) if it receives the expected items in exchange. Efficient fair exchange requires a
Asynchronous protocols for optimistic fair exchange
A set of optimistic fair exchange protocols which tolerate temporary failures in the communication channels to the third party, and a central feature of the protocols is that either player can asynchronously and unilaterally bring a protocol run to completion.