Defining Verifiability in e-Auction Protocols

Jannik Dreier 1 Hugo Jonker 2 Pascal Lafourcade 3
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : 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.
Type de document :
Communication dans un congrès
8th ACM Symposium on Information, Computer and Communications Security (ASIACCS '13), May 2013, Hangzhou, China. 〈10.1145/2484313.2484387〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01337416
Contributeur : Jannik Dreier <>
Soumis le : samedi 25 juin 2016 - 23:59:19
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Fichier

asiaccs2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Defining Verifiability in e-Auction Protocols. 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS '13), May 2013, Hangzhou, China. 〈10.1145/2484313.2484387〉. 〈hal-01337416〉

Partager

Métriques

Consultations de la notice

526

Téléchargements de fichiers

89