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

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 perform a detailed study of the verifiability for three examples. We provide an analysis of the protocol by Sako in the applied π-calculus with help of ProVerif, finding it to be correct. Additionally we identify issues with two other protocols.
Fichier principal
Vignette du fichier
main.pdf (163.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01338057 , version 1 (13-12-2017)

Identifiants

  • HAL Id : hal-01338057 , version 1

Citer

Jannik Dreier, Hugo Jonker, Pascal Lafourcade. Verifiability in e-Auction Protocols. 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy. ⟨hal-01338057⟩
799 Consultations
137 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More