Modeling and Analysis of Multi-party Fair Exchange Protocols

被引：1
|
作者：
Wang Xueming [1 ]
Xiang, Li [1 ]
机构：
[1] Guizhou Univ, Inst Comp Sci, Guiyang 550025, Peoples R China
来源：
2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15 | 2007年
关键词：
protocol analysis; model-checking; multi-party fair exchange; fairness; ATL; MOCHA;
D O I：
10.1109/WICOM.2007.560
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Fair multi-party exchange protocol is a new focus of research. We have made some researches for the modeling and analysis of multi-party fair exchange protocols recently. We use alternating transition systems, a game based model, to model protocols and alternating temporal logic, a game based logic, to express requirements that the protocols must ensure. This method is automated by using the model-checker MOCHA, a model-checker that supports the alternating transition systems and the alternating temporal logic. Fairness of multi-party exchange protocols are analyzed by using MOCHA.
引用
收藏
页码：2246 / 2250
页数：5
相关论文
共 50 条
  • [1] Formal analysis and design of multi-party fair exchange protocols
    Sihan Qing
    Gaicheng Li
    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
    Science in China(Series F:Information Sciences), 2006, (02) : 155 - 174
  • [3] 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
  • [4] 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
  • [5] Optimally Efficient Multi-party Fair Exchange and Fair Secure Multi-party Computation
    Alper, Handan Kilinc
    Kupcu, Alptekin
    ACM TRANSACTIONS ON PRIVACY AND SECURITY, 2022, 25 (01)
  • [6] Fair multi-party non-repudiation protocols
    Steve Kremer
    Olivier Markowitch
    International Journal of Information Security, 2003, 1 (4) : 223 - 235
  • [7] Coin-Based Multi-party Fair Exchange
    Alper, Handan Kilinc
    Kupcu, Alptekin
    APPLIED CRYPTOGRAPHY AND NETWORK SECURITY (ACNS 2021), PT I, 2021, 12726 : 130 - 160
  • [8] Exclusion-freeness in multi-party exchange protocols
    González-Deleito, N
    Markowitch, O
    INFORMATION SECURITY, PROCEEDINGS, 2002, 2433 : 200 - 209
  • [9] Multi-party fair exchange protocol with smart contract on bitcoin
    Guo, Lijuan
    Li, Xuelian
    Gao, Juntao
    International Journal of Network Security, 2019, 21 (01) : 71 - 82
  • [10] Multi-party Key Exchange Protocols from Supersingular Isogenies
    Furukawa, Satoshi
    Kunihiro, Noboru
    Takashima, Katsuyuki
    PROCEEDINGS OF 2018 INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY AND ITS APPLICATIONS (ISITA2018), 2018, : 208 - 212
12345