• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

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

Petter Sandvik, Kaisa Sere, Formal Analysis and Verification of Peer-to-Peer Node Behaviour. In: Antonio Liotta, Nikos Antonopoulos, Giuseppe Di Fatta, Takahiro Hara, Quang Hieu Vu (Eds.), The Third International Conference on Advances in P2P Systems (AP2PS 2011), 47–52, IARIA, 2011.

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.

BibTeX entry:

@INPROCEEDINGS{inpSaSe11a,
  title = {Formal Analysis and Verification of Peer-to-Peer Node Behaviour},
  booktitle = {The Third International Conference on Advances in P2P Systems (AP2PS 2011)},
  author = {Sandvik, Petter and Sere, Kaisa},
  editor = {Liotta, Antonio and Antonopoulos, Nikos and Di Fatta, Giuseppe and Hara, Takahiro and Vu, Quang Hieu},
  publisher = {IARIA},
  pages = {47–52},
  year = {2011},
  keywords = {formal modelling, formal methods, peer-to-peer networks, network protocols, BitTorrent, on-demand streaming, Event-B},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication