Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model

被引：0
|
作者：
Mukhamedov, A [1 ]
Kremer, S
Ritter, E
机构：
[1] Univ Birmingham, Sch Comp Sci, Birmingham B15 2TT, W Midlands, England
[2] ENS Cachan, Cachan, France
来源：
FINANCIAL CRYPTOGRAPHY AND DATA SECURITY | 2005年 / 3570卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 Gonzalez 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.
引用
收藏
页码：255 / 269
页数：15
相关论文
共 41 条
  • [1] A Multi-Party Contract Signing Protocol and its Formal Analysis in Strand Space Model
    Li, Xiangdong
    Wang, Zhenyu
    Chen, Li
    Wang, Qingxian
    [J]. PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 556 - 559
  • [2] Formal analysis and design of multi-party fair exchange protocols
    Sihan Qing
    Gaicheng Li
    [J]. Science in China Series F: Information Sciences, 2006, 49 : 155 - 174
  • [3] Formal analysis and design of multi-party fair exchange protocols
    Qing Sihan
    Li Gaicheng
    [J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 49 (02): : 155 - 174
  • [4] Formal analysis and design of multi-party fair exchange protocols
    QING Sihan1
    2. Beijing Zhongke Ansheng Corporation of Information Technology
    3. Graduate School of the Chinese Academy of Sciences
    [J]. Science China(Information Sciences), 2006, (02) : 155 - 174
  • [5] Multi-party fair exchange protocol using ring architecture model
    Khill, I
    Kim, J
    Han, I
    Ryou, J
    [J]. COMPUTERS & SECURITY, 2001, 20 (05) : 422 - 439
  • [6] Multi-party fair exchange protocol with smart contract on bitcoin
    Guo, Lijuan
    Li, Xuelian
    Gao, Juntao
    [J]. International Journal of Network Security, 2019, 21 (01): : 71 - 82
  • [7] Optimally Efficient Multi-party Fair Exchange and Fair Secure Multi-party Computation
    Alper, Handan Kilinc
    Kupcu, Alptekin
    [J]. ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2022, 25 (01)
  • [8] Modeling and Analysis of Multi-party Fair Exchange Protocols
    Wang Xueming
    Xiang, Li
    [J]. 2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 2246 - 2250
  • [9] A multi-party rational exchange protocol
    Alcaide, Almudena
    Estevez-Tapiador, Juan M.
    Hernandez-Castro, Julio C.
    Ribagorda, Arturo
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 42 - +
  • [10] Formal Analysis and Improvement of Multi-party Non-repudiation Protocol
    Wang, Xueming
    [J]. 2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 4120 - 4123
12345