Formal analysis and design of multi-party fair exchange protocols

被引：0
|
作者：
Qing Sihan [1 ]
Li Gaicheng
机构：
[1] Chinese Acad Sci, Inst Software, Engn Res Ctr Informat Secur Technol, Beijing 100080, Peoples R China
[2] Beijing Zhongke Ansheng Corp Informat Technol, Beijing 100080, Peoples R China
[3] Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China
来源：
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES | 2006年 / 49卷 / 02期
基金：
中国国家自然科学基金;
关键词：
fair exchange; logical protocol; formal model; security requirement;
D O I：
10.1007/s11432-006-0155-2
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 条
  • [1] Formal analysis and design of multi-party fair exchange protocols
    Sihan Qing
    Gaicheng Li
    [J]. Science in China Series F: Information Sciences, 2006, 49 : 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