A New Method for Formalizing Optimistic Fair Exchange Protocols

被引：0
|
作者：
Chen, Ming [1 ]
Wu, Kaigui [1 ]
Xu, Jie [1 ]
He, Pan [1 ]
机构：
[1] Chongqing Univ, Coll Comp, Chongqing 400044, Peoples R China
来源：
INFORMATION AND COMMUNICATIONS SECURITY | 2010年 / 6476卷
关键词：
optimistic fair exchange; formalize analysis; logic reasoning; model checking; timeliness;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
It is difficult to analyze the timeliness of optimistic fair exchange protocols by using belief logic. For the problem, a new formal model and reasoning logic were proposed. In the new model, channel errors were attackers' behaviors, the participants were divided into honest and dishonest ones, and the attackers were attributed to two types of intruders. Based on the ideas of the model checking, the protocol was defined as an evolved logic system that has the Kripke structure. The new logic defined the time operators that describe the temporal relations among the participants' behaviors. By a typical optimistic fair exchange protocol, the article demonstrates the protocol analysis process in the new model. Two flaws were discovered and improved, which shows that the new method can be used to analyze the fairness and timeliness of optimistic fair exchange protocols.
引用
收藏
页码：251 / 265
页数：15
相关论文
共 50 条
  • [1] Asynchronous protocols for optimistic fair exchange
    Asokan, N
    Shoup, V
    Waidner, M
    1998 IEEE SYMPOSIUM ON SECURITY AND PRIVACY - PROCEEDINGS, 1998, : 86 - 99
  • [2] Optimistic fair-exchange protocols based on DSA signatures
    Wang, SB
    Hong, F
    Zhu, M
    2004 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS, 2004, : 498 - 501
  • [3] Further Observations on Optimistic Fair Exchange Protocols in the Multi-user Setting
    Huang, Xinyi
    Mu, Yi
    Susilo, Willy
    Wu, Wei
    Xiang, Yang
    PUBLIC KEY CRYPTOGRAPHY - PKC 2010, PROCEEDINGS, 2010, 6056 : 124 - +
  • [4] Usable optimistic fair exchange
    Kupcu, Alptekin
    Lysyanskaya, Anna
    COMPUTER NETWORKS, 2012, 56 (01) : 50 - 63
  • [5] Ambiguous Optimistic Fair Exchange
    Huang, Qiong
    Yang, Guomin
    Wong, Duncan S.
    Susilo, Willy
    ADVANCES IN CRYPTOLOGY - ASIACRYPT 2008, 2008, 5350 : 74 - 89
  • [6] Usable Optimistic Fair Exchange
    Kupcu, Alptekin
    Lysyanskaya, Anna
    TOPICS IN CRYPTOLOGY - CT-RSA 2010, PROCEEDINGS, 2010, 5985 : 252 - 267
  • [7] A Formal Method for Analyzing Fair Exchange Protocols
    Xu Wei
    Ma Yan
    Liu Nan
    Wu Dong-ying
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL II, 2009, : 117 - 120
  • [8] The running-mode analysis of two-party optimistic fair exchange protocols
    Zhang, YQ
    Wang, ZL
    Yang, B
    COMPUTATIONAL INTELLIGENCE AND SECURITY, PT 2, PROCEEDINGS, 2005, 3802 : 137 - 142
  • [9] New Optimistic Fair Exchange Protocol Based on Short Signature
    Sun, Yanbin
    Gu, Lize
    Qing, Sihan
    Zheng, Shihui
    Yang, Yixian
    Sun, Yan
    SECOND INTERNATIONAL CONFERENCE ON COMMUNICATION SOFTWARE AND NETWORKS: ICCSN 2010, PROCEEDINGS, 2010, : 99 - 104
  • [10] Optimistic fair exchange for secure forwarding
    Onen, Melek
    Shikfa, Abdullatif
    Molva, Refik
    2007 FOURTH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE AND UBIQUITOUS SYSTEMS: NETWORKING & SERVICES, 2007, : 533 - 537
12345