Home // AP2PS 2011, The Third International Conference on Advances in P2P Systems // View article

Formal Analysis and Verification of Peer-to-Peer Node Behaviour

Authors:
Petter Sandvik
Kaisa Sere

Keywords: formal modelling; peer-to-peer; BitTorrent; on-demand streaming

Abstract:
As services and applications move away from the one-to-many relationship of the client-server model towards many-to-many relations such as distributed cloud-based services and peer-to-peer networks, there is a need for a reusable model of how a node could work in such a network. We have constructed a reusable formally derived and verified model of a node in a peer-to-peer network for on-demand media streaming, validated and animated it, and then compared the results with simulations. We have thereby created an approach for analysing peer-to-peer node behaviour.

Pages: 47 to 52

Copyright: Copyright (c) IARIA, 2011

Publication date: November 20, 2011

Published in: conference

ISBN: 978-1-61208-173-1

Location: Lisbon, Portugal

Dates: from November 20, 2011 to November 25, 2011