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 条
  • [31] A multi-party rational exchange protocol
    Alcaide, Almudena
    Estevez-Tapiador, Juan M.
    Hernandez-Castro, Julio C.
    Ribagorda, Arturo
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 42 - +
  • [32] Configurable security protocols for multi-party data analysis with malicious participants
    Malin, B
    Airoldi, E
    Edoho-Eket, S
    Li, YH
    ICDE 2005: 21ST INTERNATIONAL CONFERENCE ON DATA ENGINEERING, PROCEEDINGS, 2005, : 533 - 544
  • [33] Fair and Secure Multi-Party Computation with Cheater Detection
    Seo, Minhye
    CRYPTOGRAPHY, 2021, 5 (03)
  • [34] Composition of secure multi-party protocols - A comprehensive study
    Goldreich, O
    COMPOSITION OF SECURE MULTI-PARTY PROTOCOLS: A COMPREHENSIVE STUDY, 2003, 2815 : VII - +
  • [35] Improving the Efficiency of AES Protocols in Multi-Party Computation
    Durak, F. Betul
    Guajardo, Jorge
    FINANCIAL CRYPTOGRAPHY AND DATA SECURITY, FC 2021, PT I, 2021, 12674 : 229 - 248
  • [36] Batch Logical Protocols for Efficient Multi-Party Computation
    Kiribuchi, Naoto
    Kato, Ryo
    Endo, Tsukasa
    Nishide, Takashi
    Yoshiura, Hiroshi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2012, E95A (10) : 1718 - 1728
  • [37] SafeRegions: Performance evaluation of multi-party protocols on HBase
    Pontes, Rogerio
    Maia, Francisco
    Paulo, Joao
    Vilaca, Ricardo
    2016 IEEE 35TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW), 2016, : 31 - 36
  • [38] Improvement of Quantum Protocols for Secure Multi-Party Summation
    Gan Zhi-Gang
    International Journal of Theoretical Physics, 2020, 59 : 3086 - 3092
  • [39] Protocols for Secure Multi-Party Private Function Evaluation
    Aljumah, Feras
    Soeanu, Andrei
    Liu, Wen Ming
    Debbabi, Mourad
    2015 FIRST INTERNATIONAL CONFERENCE ON ANTI-CYBERCRIME (ICACC), 2015, : 106 - 111
  • [40] 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)
12345