Formal analysis and design of multi-party fair exchange protocols

被引：0
|
作者：
QING Sihan1
2. Beijing Zhongke Ansheng Corporation of Information Technology
3. Graduate School of the Chinese Academy of Sciences
机构：
来源：
Science China(Information Sciences) | 2006年 / 02期
关键词：
fair exchange; logical protocol; formal model; security requirement;
D O I：
暂无
中图分类号：
TN915.04 [通信规程、通信协议];
学科分类号：
0810 ; 081001 ;
摘要：
Based on the origin of message items and channel combination between transacting parties, and events and relations among events, this paper presents a concise, precise, and hierarchical model for general fair exchange protocols, formally specifies various security requirements which are able to reflect inherent requirements for fair exchange protocols more rigorously, and partition these security requirements with fine granularity. This work helps analyze, debug, and design multi-party fair exchange protocols more effectively and elaborately.
引用
收藏
页码：155 / 174
页数：20
相关论文
共 50 条
  • [41] Improving the Efficiency of AES Protocols in Multi-Party Computation
    Durak, F. Betul
    Guajardo, Jorge
    [J]. FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I, 2021, 12674 : 229 - 248
  • [42] Batch Logical Protocols for Efficient Multi-Party Computation
    Kiribuchi, Naoto
    Kato, Ryo
    Endo, Tsukasa
    Nishide, Takashi
    Yoshiura, Hiroshi
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (10) : 1718 - 1728
  • [43] Improvement of Quantum Protocols for Secure Multi-Party Summation
    Gan Zhi-Gang
    [J]. International Journal of Theoretical Physics, 2020, 59 : 3086 - 3092
  • [44] SafeRegions: Performance evaluation of multi-party protocols on HBase
    Pontes, Rogerio
    Maia, Francisco
    Paulo, Joao
    Vilaca, Ricardo
    [J]. 2016 IEEE 35TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW), 2016, : 31 - 36
  • [45] Protocols for Secure Multi-Party Private Function Evaluation
    Aljumah, Feras
    Soeanu, Andrei
    Liu, Wen Ming
    Debbabi, Mourad
    [J]. 2015 FIRST INTERNATIONAL CONFERENCE ON ANTI-CYBERCRIME (ICACC), 2015, : 106 - 111
  • [46] Practical Multi-Party Private Set Intersection Protocols
    Bay, Asli
    Erkin, Zekeriya
    Hoepman, Jaap-Henk
    Samardjiska, Simona
    Vos, Jelle
    [J]. IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2022, 17 : 1 - 15
  • [47] Mediated Secure Multi-Party Protocols for Collaborative Filtering
    Shmueli E.
    Tassa T.
    [J]. ACM Transactions on Intelligent Systems and Technology, 2020, 11 (02)
  • [48] Constructing Optimistic Multi-party Contract Signing Protocols
    Kordy, Barbara
    Radomirovic, Sasa
    [J]. 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 215 - 229
  • [49] Quantum multi-party fair exchange protocol based on three-particle GHZ states
    Jiang, Yinghua
    Chen, Liquan
    Gong, Ximing
    Zhu, Yaqing
    Gao, Yuan
    [J]. QUANTUM INFORMATION PROCESSING, 2023, 22 (09)
  • [50] Multi-party key agreement protocols with cheater identification
    Tseng, YM
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 2003, 145 (2-3) : 551 - 559
12345