A Formal Game-Theoretic Model for Rational Exchange Protocol
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.
Helen Zhang, Gang Shen and David Jin
X. T. Tao et al., "A Formal Game-Theoretic Model for Rational Exchange Protocol", Advanced Materials Research, Vols. 204-210, pp. 2033-2040, 2011