Attack and Revison of an Electronic Auction Protocol using OFMC - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue annales UMCS - Informatica Année : 2007

Attack and Revison of an Electronic Auction Protocol using OFMC

Résumé

In the article we show an attack on the cryptographic protocol of electronic auction with extended requirements [KK04]. The found attack consists of authentication breach and secret retrieval. It is a kind of " man in the middle attack ". The intruder impersonates an agent and learns some secret information. We have discovered this flaw unsing OFMC an automatic tool of cryptographic protocol verification. After a description of this attack, we propose a new version of the e-auction protocol. We also check with OFMC the secrecy for the new protocol and give an informal proof of the other properties that this new e-auction protocol has to guarantee.
Fichier principal
Vignette du fichier
KL-eth549.pdf (185.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01759950 , version 1 (05-04-2018)

Identifiants

  • HAL Id : hal-01759950 , version 1

Citer

Pascal Lafourcade, Bogdan Ksiezopolski. Attack and Revison of an Electronic Auction Protocol using OFMC. annales UMCS - Informatica, 2007, 6 (1), pp.171-183. ⟨hal-01759950⟩
24 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More