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
相关论文
共 48 条
  • [41] Security analysis of Kerberos protocol based on the strand space model
    Research Center of Computer Network and Information Security Technology, Harbin Institute of Technology, Harbin 150001, China
    [J]. Gaojishu Tongxin, 2008, 9 (909-914): : 909 - 914
  • [42] Proof of location based delivery system using multi-party virtual state channel: a blockchain model
    Sahoo, Sujit Sangram
    Chaurasiya, Vijay Kumar
    [J]. JOURNAL OF SUPERCOMPUTING, 2024, 80 (01): : 703 - 733
  • [43] Proof of location based delivery system using multi-party virtual state channel: a blockchain model
    Sujit Sangram Sahoo
    Vijay Kumar Chaurasiya
    [J]. The Journal of Supercomputing, 2024, 80 : 703 - 733
  • [44] The Free-of-Charge Phenomena in the Network Economy-A Multi-Party Value Exchange Model
    Lin, Ya-Wen
    Lin, Tsung-Xian
    Farn, Cheng-Kiang
    [J]. JOURNAL OF THEORETICAL AND APPLIED ELECTRONIC COMMERCE RESEARCH, 2021, 16 (07): : 2981 - 3002
  • [45] Strand space model of Kao Chow Repeated Authentication protocol and its analysis
    College of Computer Science, Chongqing University, Chongqing 400044, China
    [J]. Harbin Gongye Daxue Xuebao, 2009, SUPPL. 1 (222-226):
  • [46] Formal analysis of 3GPP authentication and key agreement based on the strand space model
    Jiang, Rui
    Li, Jian-Hua
    Pan, Li
    [J]. Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2006, 40 (05): : 791 - 795
  • [47] An Analysis of Group Key Agreement Schemes based on the Bellare-Rogaway Model in Multi-party Setting
    Lim, Meng-Hui
    Goi, Bok-Min
    Lee, Sang Gon
    [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2011, 5 (04): : 822 - 839
  • [48] Efficient First-Price Sealed E-Auction Protocol Under Secure Multi-Party Computational Malicious Model
    Zhou, Da-Wei
    Cao, Su-Zhen
    Zhao, Xiao
    Xing, Dan-Dan
    Wang, Zheng
    [J]. Journal of Computers (Taiwan), 2024, 35 (01) : 65 - 81
12345