Formal Verification of e-Reputation Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Formal Verification of e-Reputation Protocols

Ali Kassem
  • Fonction : Auteur
Yassine Lakhnech
  • Fonction : Auteur
  • PersonId : 837979

Résumé

Reputation systems are often useful in large online communities in which most of the users are unknown to each others. They are good tools to force the users to act in truthfulness way. However, for reputation systems to work effectively users have to be willing to provide rates. In order to incentivize the users to provide honest rates, a reputation system have to ensure their privacy and anonymity. In the other hand, users are also concerned about verifying the correctness of the reputation score. In the applied pi-calculus, we define a formal framework and several fundamental privacy, authentication, and verifiability properties suitable for the security analysis of e-reputation protocols. As proof of concept, using ProVerif, we analyze a simple additive decentralized reputation protocol proposed to ensure rate privacy if all users are honest.
Fichier principal
Vignette du fichier
reputation_main.pdf (223.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01759921 , version 1

Citer

Ali Kassem, Pascal Lafourcade, Yassine Lakhnech. Formal Verification of e-Reputation Protocols. Foundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada. ⟨hal-01759921⟩
223 Consultations
159 Téléchargements

Partager

Gmail Facebook X LinkedIn More