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
相关论文
共 31 条
  • [1] Formal analysis and design of multi-party fair exchange protocols
    Qing Sihan
    Li Gaicheng
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 49 (02): : 155 - 174
  • [2] 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
    Science in China(Series F:Information Sciences), 2006, (02) : 155 - 174
  • [3] Exclusions and related trust relationships in multi-party fair exchange protocols
    Gonzalez-Deleito, Nicolas
    Markowitch, Olivier
    ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2007, 6 (03) : 343 - 357
  • [4] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [5] Optimally-Fair Multi-party Exchange Without Trusted Parties
    Maffei, Ivo
    Roscoe, A. W.
    COMPUTER SECURITY - ESORICS 2023, PT I, 2024, 14344 : 313 - 333
  • [6] Multi-party fair exchange protocol using ring architecture model
    Khill, I
    Kim, J
    Han, I
    Ryou, J
    COMPUTERS & SECURITY, 2001, 20 (05) : 422 - 439
  • [7] Quantum multi-party fair exchange protocol based on three-particle GHZ states
    Yinghua Jiang
    Liquan Chen
    Ximing Gong
    Yaqing Zhu
    Yuan Gao
    Quantum Information Processing, 22
  • [8] Quantum multi-party fair exchange protocol based on three-particle GHZ states
    Jiang, Yinghua
    Chen, Liquan
    Gong, Ximing
    Zhu, Yaqing
    Gao, Yuan
    QUANTUM INFORMATION PROCESSING, 2023, 22 (09)
  • [9] A Multi-Party Contract Signing Protocol and its Formal Analysis in Strand Space Model
    Li, Xiangdong
    Wang, Zhenyu
    Chen, Li
    Wang, Qingxian
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL III, 2009, : 556 - 559
  • [10] A family of trusted third party based fair-exchange protocols
    Ezhilchelvan, PD
    Shrivastava, SK
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2005, 2 (04) : 273 - 286
1234