Steve Kremer: Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model

Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model

Aybek Mukhamedov, Steve Kremer, and Eike Ritter. Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. In Revised Papers from the 9th International Conference on Financial Cryptography and Data Security (FC'05), pp. 255–269, Lecture Notes in Computer Science 3570, Springer, Roseau, The Commonwealth Of Dominica, August 2005.
doi:10.1007/11507840_23

Download

[PDF] [HTML]

Abstract

A multi-party fair exchange protocol is a cryptographic protocol allowing several parties to exchange commodities in such a way that everyone gives an item away if and only if it receives an item in return. In this paper we discuss a multi-party fair exchange protocol originally proposed by Franklin and Tsudik, and subsequently shown to have flaws and fixed by González and Markowitch. We identify flaws in the fixed version of the protocol, propose a corrected version, and give a formal proof of correctness in the strand space model.

BibTeX

@inproceedings{MukhamedovKremerRitter2005,
  abstract =      {A multi-party fair exchange protocol is a
                   cryptographic protocol allowing several parties to
                   exchange commodities in such a way that everyone
                   gives an item away if and only if it receives an item
                   in return. In this paper we discuss a multi-party
                   fair exchange protocol originally proposed by
                   Franklin and Tsudik, and subsequently shown to have
                   flaws and fixed by Gonz\'alez and Markowitch. We
                   identify flaws in the fixed version of the protocol,
                   propose a corrected version, and give a formal proof
                   of correctness in the strand space model.},
  address =       {Roseau, The Commonwealth Of Dominica},
  author =        {Mukhamedov, Aybek and Kremer, Steve and Ritter, Eike},
  booktitle =     {{R}evised {P}apers from the 9th {I}nternational
                   {C}onference on {F}inancial {C}ryptography and {D}ata
                   {S}ecurity ({FC}'05)},
  DOI =           {10.1007/11507840_23},
  editor =        {Patrick, Andrew S. and Yung, Moti},
  month =         aug,
  pages =         {255-269},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Analysis of a Multi-Party Fair Exchange Protocol and
                   Formal Proof of Correctness in the Strand Space
                   Model},
  volume =        {3570},
  year =          {2005},
  acronym =       {{FC}'05},
  nmonth =        {8},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/MKR-fcrypto05.pdf},
}