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

Samira Chaou 1 Franck Pommereau 2
2 COSMO
IBISC - Informatique, Biologie Intégrative et Systèmes Complexes
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.
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00868709
Contributor : Frédéric Davesne <>
Submitted on : Sunday, February 16, 2014 - 3:16:28 PM
Last modification on : Thursday, February 7, 2019 - 4:32:53 PM
Long-term archiving on : Friday, May 16, 2014 - 10:36:24 AM

File

CP-TMSDEVS-2012.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00868709, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

270

Files downloads

69