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 条
  • [1] 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
  • [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
    [J]. Science China(Information Sciences), 2006, (02) : 155 - 174
  • [3] 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
  • [4] Exclusions and related trust relationships in multi-party fair exchange protocols
    Gonzalez-Deleito, Nicolas
    Markowitch, Olivier
    [J]. ELECTRONIC COMMERCE RESEARCH AND APPLICATIONS, 2007, 6 (03) : 343 - 357
  • [5] 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)
  • [6] Formal analysis of multi-party non-repudiation protocols
    Wang Xue-Ming
    Li Xiang
    [J]. Proceedings of e-ENGDET2006, 2006, : 89 - 93
  • [7] Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model
    Mukhamedov, A
    Kremer, S
    Ritter, E
    [J]. FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, 2005, 3570 : 255 - 269
  • [8] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    [J]. International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [9] Towards automated design of multi-party rational exchange security protocols
    Alcaide, Almudena
    Estevez-Tapiador, Juan M.
    Hemandez-Castro, Julio C.
    Ribagorda, Arturo
    [J]. PROCEEDING OF THE 2007 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY, WORKSHOPS, 2007, : 387 - 390
  • [10] Coin-Based Multi-party Fair Exchange
    Alper, Handan Kilinc
    Kupcu, Alptekin
    [J]. APPLIED CRYPTOGRAPHY AND NETWORK SECURITY (ACNS 2021), PT I, 2021, 12726 : 130 - 160
12345