Formal modelling and analysis of behaviour grading within a peer-to-peer storage system - Université d'Évry Access content directly
Conference Papers Year : 2012

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

Samira Chaou
  • Function : Author
  • PersonId : 952831

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00868709 , version 1

Cite

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⟩
202 View
55 Download

Share

Gmail Facebook X LinkedIn More