Towards a Formal MultipathP2P Protocol

Abstract

Peer-To-Peer networks are becoming increasingly common as a mean of transferring files over Internet. In this paper, we describe, first, the design and implementation of our P2P system (MultiPathP2P). This latter is based on the social networks concepts where nodes are identified through their virtual addresses, we have designed our protocol based on 1) An architecture exploiting the principle of social networks where nodes are identified by virtual addresses and are able to randomly change their neighbors 2) A process of data request and file sharing differing from those supported in other P2P networks. Second, we present a formal validation of our proposal in order to prove its optimality and completeness.