A Formal Game-Theoretic Model for Rational Exchange Protocol

Abstract:

Article Preview

A rational exchange protocol is a useful protocol in which two (or more) strange parties exchange their items successfully in a way that every rational party has enough reasons to follow the protocol faithfully rather than deviate from it. This means neither parties of the protocol can gain an advantage by deviating from the protocol, but he may bring a disadvantage to the other party even if who is correctly behaving party. We introduce game theory as a formal framework in this paper. We give a formal definition for the rational exchange related to the concept of the subgame perfect equilibrium of an extensive game. We use our model to analyze the Syverson protocol by the game tree and show the relationship with Buttyan's Model.

Info:

Periodical:

Advanced Materials Research (Volumes 204-210)

Edited by:

Helen Zhang, Gang Shen and David Jin

Pages:

2033-2040

DOI:

10.4028/www.scientific.net/AMR.204-210.2033

Citation:

X. T. Tao et al., "A Formal Game-Theoretic Model for Rational Exchange Protocol", Advanced Materials Research, Vols. 204-210, pp. 2033-2040, 2011

Online since:

February 2011

Export:

Price:

$35.00

In order to see related information, you need to Login.

In order to see related information, you need to Login.