Efficiency of Optimistic Fair Exchange Using Trusted Devices

被引:2
|
作者
Dashti, Mohammad Torabi [1 ]
机构
[1] Swiss Fed Inst Technol, Informationssicherheit, CH-8092 Zurich, Switzerland
关键词
Security; Theory; Verification; Optimistic fair exchange protocols; trusted computing devices; minimal message complexity; logics of knoweldge; nonidempotent items; PROTOCOLS; SECURE;
D O I
10.1145/2168260.2168263
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Efficiency of asynchronous optimistic fair exchange using trusted devices is studied. It is shown that three messages in the optimistic subprotocol are sufficient and necessary for exchanging idempotent items. When exchanging nonidempotent items, however, three messages in the optimistic subprotocol are sufficient only under the assumption that trusted devices have unbounded storage capacity. This assumption is often not satisfiable in practice. It is then proved that exchanging nonidempotent items using trusted devices with a bounded storage capacity requires exactly four messages in the optimistic subprotocol.
引用
收藏
页数:18
相关论文
共 50 条
  • [1] Optimistic Fair Exchange Using Trusted Devices
    Dashti, Mohammad Torabi
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5873 : 711 - 725
  • [2] Usable optimistic fair exchange
    Kupcu, Alptekin
    Lysyanskaya, Anna
    COMPUTER NETWORKS, 2012, 56 (01) : 50 - 63
  • [3] Ambiguous Optimistic Fair Exchange
    Huang, Qiong
    Yang, Guomin
    Wong, Duncan S.
    Susilo, Willy
    ADVANCES IN CRYPTOLOGY - ASIACRYPT 2008, 2008, 5350 : 74 - 89
  • [4] Usable Optimistic Fair Exchange
    Kupcu, Alptekin
    Lysyanskaya, Anna
    TOPICS IN CRYPTOLOGY - CT-RSA 2010, PROCEEDINGS, 2010, 5985 : 252 - 267
  • [5] 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
  • [6] A gradual and optimistic fair exchange protocol
    Lan, Tian
    Qin, Zhiguang
    Zhao, Yang
    Hu, Xiong
    Li, Liu
    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, : 452 - +
  • [7] Optimistic fair exchange of digital signatures
    Asokan, N
    Shoup, V
    Waidner, M
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 2000, 18 (04) : 593 - 610
  • [8] An Optimistic Fair Protocol for Aggregate Exchange
    Liu, Yichun
    2009 SECOND INTERNATIONAL CONFERENCE ON FUTURE INFORMATION TECHNOLOGY AND MANAGEMENT ENGINEERING, FITME 2009, 2009, : 564 - 567
  • [9] Asynchronous protocols for optimistic fair exchange
    Asokan, N
    Shoup, V
    Waidner, M
    1998 IEEE SYMPOSIUM ON SECURITY AND PRIVACY - PROCEEDINGS, 1998, : 86 - 99
  • [10] Performance Modelling of Optimistic Fair Exchange
    Zhao, Yishi
    Thomas, Nigel
    Analytical and Stochastic Modelling Techniques and Applications, 2016, 9845 : 298 - 313