A methodology for verification of digital items in fair exchange protocols with active trustee |
| |
Authors: | Andrea Bottoni Gianluca Dini Tage Stabell-Kulø |
| |
Affiliation: | 1.Department of Ingegneria della Informazione: Elettronica, Informatica, Telecomunicazioni,University of Pisa,Pisa,Italy;2.Department of Computer Science,University of Troms?,Troms?,Norway |
| |
Abstract: | Fair exchange constitutes a fundamental mechanism for electronic commerce. Fair exchange assumes that it is possible to verify
the correctness of the digital items to be exchanged. However, when an item is indescribable , i.e., it cannot be formally specified, its verification becomes difficult, if not impossible. This hinders a practical deployment
of fair exchange.
We propose a methodology for the verification of indescribable digital items. The methodology allows a participant in a fair
exchange protocol to personally verify the indescribable item without giving him any practical advantage over the other participant, and therefore without
violating the fairness imposed by the protocol. |
| |
Keywords: | Security E-commerce Fair exchange Digital items verification |
本文献已被 SpringerLink 等数据库收录! |
|