Abstract
Efficiency of optimistic fair exchange using trusted devices is studied. Pfitzmann, Schunter and Waidner (podc 1998) have shown that four messages in the main sub-protocol is optimal when exchanging idempotent items using non-trusted devices. It is straightforward that when using trusted devices for exchanging non-idempotent items this number can be reduced to three. This however comes at the cost of providing trusted devices with an unlimited amount of storage. We prove that exchanging non-idempotent items using trusted devices with a limited storage capacity requires exactly four messages in the main sub-protocol.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Asokan, N.: Fairness in electronic commerce. PhD thesis, Uni. Waterloo (1998)
Chandy, K., Misra, J.: How processes learn. Distrib. Comput. 1(1), 40–52 (1986)
Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Trans. on Information Theory IT-29(2), 198–208 (1983)
Even, S., Yacobi, Y.: Relations among public key signature systems. Technical Report 175, Computer Science Dept., Technion, Haifa, Isreal (March 1980)
Ezhilchelvan, P.D., Shrivastava, S.K.: A family of trusted third party based fair-exchange protocols. IEEE Trans. Dependable Secur. Comput. 2(4), 273–286 (2005)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT, Cambridge (2003)
Fort, M., Freiling, F., Draque Penso, L., Benenson, Z., Kesdogan, D.: TrustedPals: Secure multiparty computation implemented with smart cards. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol. 4189, pp. 34–48. Springer, Heidelberg (2006)
Francez, N.: Fairness. Springer, Heidelberg (1986)
Fujimura, K., Eastlake, D.: Requirements and Design for Voucher Trading System (VTS). RFC 3506 (March 2003)
Fujimura, K., Kuno, H., Terada, M., Matsuyama, K., Mizuno, Y., Sekine, J.: Digital-ticket-controlled digital ticket circulation. In: USENIX Security 1999, pp. 229–240 (1999)
Guerraoui, R., Rodrigues, L.: Introduction to Reliable Distributed Programming. Springer, Heidelberg (2006)
Kuntze, N., Schmidt, A.: Trusted ticket systems and applications. In: IFIP SEC 2007. IFIP, vol. 232, pp. 49–60. Springer, Heidelberg (2007)
Mauw, S., Radomirovic, S., Torabi Dashti, M.: Minimal message complexity of asynchronous multi-party contract signing. In: CSF 2009, pp. 13–25. IEEE CS, Los Alamitos (2009)
Micali, S.: Simple and fast optimistic protocols for fair electronic exchange. In: PODC 2003, pp. 12–19. ACM Press, New York (2003)
Pagnia, H., Vogt, H., Gärtner, F.C.: Fair exchange. Computer Journal 46(1), 55–67 (2003)
Pfitzmann, B., Schunter, M., Waidner, M.: Optimal efficiency of optimistic contract signing. In: PODC 1998, pp. 113–122. ACM Press, New York (1998)
Schunter, M.: Optimistic fair exchange. PhD thesis, Universität des Saarlandes (2000)
Terada, M., Mori, K., Ishii, K., Hongo, S., Usaka, T., Koshizuka, N., Sakamura, K.: A framework for distributed inter-smartcard communication. IPSJ Digital Courier 2, 120–132 (2006)
Torabi Dashti, M.: Optimistic fair exchange using trusted devices. Technical Report TR 635, Dept. of Computer Science, ETH Zürich (2009)
Torabi Dashti, M., Nair, S.K., Jonker, H.: Nuovo DRM Paradiso: Designing a secure, verified, fair exchange DRM scheme. Fundam. Inform. 89(4), 393–417 (2008)
Tygar, J.: Atomicity in electronic commerce. In: PODC 1996, pp. 8–26. ACM Press, New York (1996)
Vogt, H.: Asynchronous optimistic fair exchange based on revocable items. In: Wright, R.N. (ed.) FC 2003. LNCS, vol. 2742, pp. 208–222. Springer, Heidelberg (2003)
Vogt, H., Pagnia, H., Gärtner, F.C.: Using smart cards for fair exchange. In: Fiege, L., Mühl, G., Wilhelm, U.G. (eds.) WELCOM 2001. LNCS, vol. 2232, pp. 101–113. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Torabi Dashti, M. (2009). Optimistic Fair Exchange Using Trusted Devices. In: Guerraoui, R., Petit, F. (eds) Stabilization, Safety, and Security of Distributed Systems. SSS 2009. Lecture Notes in Computer Science, vol 5873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-05118-0_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-05118-0_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05117-3
Online ISBN: 978-3-642-05118-0
eBook Packages: Computer ScienceComputer Science (R0)