Formal modelling and analysis of behaviour grading within a peer-to-peer storage system - Université d'Évry
Communication Dans Un Congrès Année : 2012

Formal modelling and analysis of behaviour grading within a peer-to-peer storage system

Samira Chaou
  • Fonction : Auteur
  • PersonId : 952831

Résumé

In this paper, we extend a peer-to-peer based storage system in order to cope with malicious nodes. To do so, we introduce a grading system allowing peers to evaluate the outcome of their transactions with others, and consequently allowing to detect misbehaving peers. We evaluate this extension by two means. On the one hand, we have built a formal model of the system and used model-checking to verify whether malicious peers can be always detected or not. On the other hand, we have implemented the system and used simulation to assess malicious peers detection in realistic situations. Thanks to this analysis, we can guarantee that some attacks are necessarily detected while others remain undetected and, worse, may yield false positive (i.e., some peers are graded as being malicious while they are not). We propose solutions to improve this situation at the end of the paper.
Fichier principal
Vignette du fichier
CP-TMSDEVS-2012.pdf (109.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00868709 , version 1 (16-02-2014)

Identifiants

  • HAL Id : hal-00868709 , version 1

Citer

Samira Chaou, Franck Pommereau. Formal modelling and analysis of behaviour grading within a peer-to-peer storage system. Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2012 (DEVS 2012), Part of the 2012 Spring Simulation Multiconference (SpringSim 2012), Mar 2012, Orlando, FL., United States. pp.212--219. ⟨hal-00868709⟩
221 Consultations
71 Téléchargements

Partager

More