Formal analysis and design of multi-party fair exchange protocols

被引：0
|
作者：
Sihan Qing
Gaicheng Li
机构：
[1] Chinese Academy of Sciences,Engineering Research Center for Information Security Technology, Institute of Software
[2] Beijing Zhongke Ansheng Corporation of Information Technology,undefined
[3] Graduate School of the Chinese Academy of Sciences,undefined
来源：
Science in China Series F: Information Sciences | 2006年 / 49卷
关键词：
fair exchange; logical protocol; formal model; security requirement;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：19
相关论文
共 50 条
  • [41] Composition of secure multi-party protocols - A comprehensive study
    Goldreich, O
    [J]. COMPOSITION OF SECURE MULTI-PARTY PROTOCOLS: A COMPREHENSIVE STUDY, 2003, 2815 : VII - +
  • [42] Constructing Optimistic Multi-party Contract Signing Protocols
    Kordy, Barbara
    Radomirovic, Sasa
    [J]. 2012 IEEE 25TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2012, : 215 - 229
  • [43] 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
  • [44] 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
  • [45] 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)
  • [46] Quantum multi-party fair exchange protocol based on three-particle GHZ states
    Yinghua Jiang
    Liquan Chen
    Ximing Gong
    Yaqing Zhu
    Yuan Gao
    [J]. Quantum Information Processing, 22
  • [47] Multi-party key agreement protocols with cheater identification
    Tseng, YM
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 2003, 145 (2-3) : 551 - 559
  • [48] Sound Multi-party Business Protocols for Service Networks
    Mancioppi, Michele
    Carro, Manuel
    van den Heuvel, Willem-Jan
    Papazoglou, Mike P.
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2008, PROCEEDINGS, 2008, 5364 : 302 - +
  • [49] Information theoretic approach to privacy for multi-party protocols
    Satoh, T
    Kurosawa, K
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1997, E80A (01) : 79 - 84
  • [50] Improvement of Quantum Protocols for Secure Multi-Party Summation
    Gan, Zhi-Gang
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2020, 59 (10) : 3086 - 3092
12345