Defining Verifiability in e-Auction Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Defining Verifiability in e-Auction Protocols

Résumé

An electronic auction protocol will only be used by those who trust that it operates correctly. Therefore, e-auction protocols must be verifiable: seller, buyer and losing bidders must all be able to determine that the result was correct. We pose that the importance of verifiability for e-auctions necessitates a formal analysis. Consequently, we identify notions of verifiability for each stakeholder. We formalize these and then use the developed framework to study the verifiability of two examples, the protocols due to Curtis et al. and Brandt, identifying several issues.
Fichier principal
Vignette du fichier
asiaccs2013.pdf (242.11 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01337416 , version 1 (25-06-2016)

Identifiants

Citer

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Defining Verifiability in e-Auction Protocols. Asia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩. ⟨hal-01337416⟩
443 Consultations
287 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More