Rational exchange – a formal model based on game theory

L. Buttyán, Jean Pierre Hubaux

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Abstract

We introduce game theory as a formal framework in which exchange protocols can be modeled and their properties can be studied. We use this framework to give a formal definition for rational exchange relating it to the concept of Nash equilibrium in games. In addition, we study the relationship between rational exchange and fair exchange. We prove that fair exchange implies rational exchange, but the reverse is not true. The practical consequence of this is that rational exchange protocols may provide interesting solutions to the exchange problem by representing a trade-off between complexity and what they achieve. They could be particularly useful in mobile e-commerce applications.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Pages114-126
Number of pages13
Volume2232
ISBN (Print)9783540428787
Publication statusPublished - 2001
Event2nd International Workshop on Electronic Commerce, WELCOM 2001 in conjunction with the 18th IEEE Symposium on Reliable and Distributed Systems, SRDS 2001 - Heidelberg, Germany
Duration: Nov 16 2001Nov 17 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2232
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other2nd International Workshop on Electronic Commerce, WELCOM 2001 in conjunction with the 18th IEEE Symposium on Reliable and Distributed Systems, SRDS 2001
CountryGermany
CityHeidelberg
Period11/16/0111/17/01

Fingerprint

Game theory
Formal Model
Game Theory
Ion exchange
Model-based
Fair Exchange
Electronic Commerce
Nash Equilibrium
Reverse
Trade-offs
Game
Imply

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Buttyán, L., & Hubaux, J. P. (2001). Rational exchange – a formal model based on game theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2232, pp. 114-126). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2232). Springer Verlag.

Rational exchange – a formal model based on game theory. / Buttyán, L.; Hubaux, Jean Pierre.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2232 Springer Verlag, 2001. p. 114-126 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2232).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Buttyán, L & Hubaux, JP 2001, Rational exchange – a formal model based on game theory. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 2232, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2232, Springer Verlag, pp. 114-126, 2nd International Workshop on Electronic Commerce, WELCOM 2001 in conjunction with the 18th IEEE Symposium on Reliable and Distributed Systems, SRDS 2001, Heidelberg, Germany, 11/16/01.
Buttyán L, Hubaux JP. Rational exchange – a formal model based on game theory. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2232. Springer Verlag. 2001. p. 114-126. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Buttyán, L. ; Hubaux, Jean Pierre. / Rational exchange – a formal model based on game theory. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2232 Springer Verlag, 2001. pp. 114-126 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a65348eca4944e3c8bf5f6998e8815ab,
title = "Rational exchange – a formal model based on game theory",
abstract = "We introduce game theory as a formal framework in which exchange protocols can be modeled and their properties can be studied. We use this framework to give a formal definition for rational exchange relating it to the concept of Nash equilibrium in games. In addition, we study the relationship between rational exchange and fair exchange. We prove that fair exchange implies rational exchange, but the reverse is not true. The practical consequence of this is that rational exchange protocols may provide interesting solutions to the exchange problem by representing a trade-off between complexity and what they achieve. They could be particularly useful in mobile e-commerce applications.",
author = "L. Butty{\'a}n and Hubaux, {Jean Pierre}",
year = "2001",
language = "English",
isbn = "9783540428787",
volume = "2232",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "114--126",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Rational exchange – a formal model based on game theory

AU - Buttyán, L.

AU - Hubaux, Jean Pierre

PY - 2001

Y1 - 2001

N2 - We introduce game theory as a formal framework in which exchange protocols can be modeled and their properties can be studied. We use this framework to give a formal definition for rational exchange relating it to the concept of Nash equilibrium in games. In addition, we study the relationship between rational exchange and fair exchange. We prove that fair exchange implies rational exchange, but the reverse is not true. The practical consequence of this is that rational exchange protocols may provide interesting solutions to the exchange problem by representing a trade-off between complexity and what they achieve. They could be particularly useful in mobile e-commerce applications.

AB - We introduce game theory as a formal framework in which exchange protocols can be modeled and their properties can be studied. We use this framework to give a formal definition for rational exchange relating it to the concept of Nash equilibrium in games. In addition, we study the relationship between rational exchange and fair exchange. We prove that fair exchange implies rational exchange, but the reverse is not true. The practical consequence of this is that rational exchange protocols may provide interesting solutions to the exchange problem by representing a trade-off between complexity and what they achieve. They could be particularly useful in mobile e-commerce applications.

UR - http://www.scopus.com/inward/record.url?scp=23044530199&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=23044530199&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:23044530199

SN - 9783540428787

VL - 2232

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 114

EP - 126

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -