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 条
  • [21] Fair Subtyping for Multi-party Session Types
    Padovani, Luca
    COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, 2011, 6721 : 127 - 141
  • [22] Fair subtyping for multi-party session types
    Padovani, Luca
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2016, 26 (03) : 424 - 464
  • [23] Fair multi-party concurrent signature scheme
    Ye, Q., 1600, Editorial Board of Journal on Communications (35):
  • [24] Multi-party fair exchange protocol with an off-line semi-trust third party
    Zhao, Yang
    Qin, Zhiguang
    Lan, Tian
    Hu, Xiong
    Zhang, Fengli
    2007 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLS 1 AND 2: VOL 1: COMMUNICATION THEORY AND SYSTEMS; VOL 2: SIGNAL PROCESSING, COMPUTATIONAL INTELLIGENCE, CIRCUITS AND SYSTEMS, 2007, : 467 - +
  • [25] Fair multi-party exchange protocol with the off-line semi-trusted third party
    Li, Yan-Ping
    Zhang, Jian-Zhong
    Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2004, 31 (05): : 811 - 814
  • [26] Quantum protocols for secure multi-party summation
    Ji, ZhaoXu
    Zhang, HuanGuo
    Wang, HouZhen
    Wu, FuSheng
    Jia, JianWei
    Wu, WanQing
    QUANTUM INFORMATION PROCESSING, 2019, 18 (06)
  • [27] Adaptive Security of Multi-party Protocols, Revisited
    Hirt, Martin
    Liu-Zhang, Chen-Da
    Maurer, Ueli
    THEORY OF CRYPTOGRAPHY, TCC 2021, PT I, 2021, 13042 : 686 - 716
  • [28] Multi-Party Protocols, Information Complexity and Privacy
    Kerenidis, Iordanis
    Rosen, Adi
    Urrutia, Florent
    ACM TRANSACTIONS ON COMPUTATION THEORY, 2019, 11 (02)
  • [29] Quantum protocols for secure multi-party summation
    ZhaoXu Ji
    HuanGuo Zhang
    HouZhen Wang
    FuSheng Wu
    JianWei Jia
    WanQing Wu
    Quantum Information Processing, 2019, 18
  • [30] On the Efficiency of Multi-party Contract Signing Protocols
    Draper-Gil, Gerard
    Ferrer-Gomila, Josep-Lluis
    Francisca Hinarejos, M.
    Zhou, Jianying
    INFORMATION SECURITY, ISC 2015, 2015, 9290 : 227 - 243
12345