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 条
  • [31] Optimistic fair exchange in a multi-user setting
    Dodis, Yeveniy
    Lee, Pil Joong
    Yum, Dae Hyun
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (03) : 318 - 346
  • [32] AN OPTIMISTIC FAIR EXCHANGE PROTOCOL BASED ON COMMITTED SIGNATURE
    Chen, Guanghui
    Qing, Sihan
    Qi, Zhifeng
    Yang, Yixian
    2009 GLOBAL MOBILE CONGRESS, 2009, : 174 - +
  • [33] Optimistic Fair-Exchange with Anonymity for Bitcoin Users
    Jayasinghe, Danushka
    Markantonakis, Konstantinos
    Mayes, Keith
    2014 IEEE 11TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2014, : 44 - 51
  • [34] An optimistic fair exchange protocol based on signature policies
    Hernandez-Ardieta, Jorge L.
    Gonzalez-Tablas, Ana I.
    Alvarez, Benjamin Ramos
    COMPUTERS & SECURITY, 2008, 27 (7-8) : 309 - 322
  • [35] A Traceable Optimistic Fair Exchange Protocol in the Standard Model
    Ganjavi, Ramin
    Asaar, Maryam Rajabzadeh
    Salmasizadeh, Mahmoud
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2015, 7 (01): : 3 - 14
  • [36] A Generic Framework for Accountable Optimistic Fair Exchange Protocol
    Loh, Jia-Ch'ng
    Heng, Swee-Huay
    Tan, Syh-Yuan
    INFORMATION SECURITY PRACTICE AND EXPERIENCE (ISPEC 2018), 2018, 11125 : 299 - 309
  • [37] A Generic Framework for Accountable Optimistic Fair Exchange Protocol
    Loh, Jia-Ch'ng
    Heng, Swee-Huay
    Tan, Syh-Yuan
    SYMMETRY-BASEL, 2019, 11 (02):
  • [38] A Publicly Verifiable Optimistic Fair Exchange Protocol Using Decentralized CP-ABE
    Zhang, Liang
    Kan, Haibin
    Qiu, Feiyang
    Hao, Feng
    COMPUTER JOURNAL, 2023, 67 (03): : 1017 - 1029
  • [39] Preserving Transparency and Accountability in Optimistic Fair Exchange of Digital Signatures
    Huang, Xinyi
    Mu, Yi
    Susilo, Willy
    Wu, Wei
    Zhou, Jianying
    Deng, Robert H.
    IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, 2011, 6 (02) : 498 - 512
  • [40] Provably secure robust optimistic fair exchange of distributed signatures
    Wang, Yujue
    Wu, Qianhong
    Wong, Duncan S.
    Qin, Bo
    Mao, Jian
    Ding, Yong
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 62 : 29 - 39