A game theoretic model of a protocol for data possession verification

Oualha, Nouha; Michiardi, Pietro; Roudier, Yves
TSPUC 2007, IEEE International Workshop on Trust, Security and Privacy for Ubiquitous Computing, June 18-21, 2007, Helsinki, Finland

This paper discusses how to model a protocol for the verification of data possession intended to secure a peer-to-peer storage application. The verification protocol is a primitive for storage assessment, and indirectly motivates nodes to behave cooperatively within the application. The capability of the protocol to enforce cooperation between a data holder and a data owner is proved theoretically by modeling the verification protocol as a Bayesian game, and demonstrating that the solution of the game is an equilibrium where both parties are cooperative.


DOI
Type:
Conference
City:
Helsinki
Date:
2007-06-18
Department:
Digital Security
Eurecom Ref:
2212
Copyright:
© 2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

PERMALINK : https://www.eurecom.fr/publication/2212