Towards a Framework for Dynamic Verification of Peer-to-Peer Systems

  • Authors:

  • Theofrastos Koulouris;George Spanoudakis;Theocharis Tsigkritis

  • Affiliations:

  • City University, UK;City University, UK;City University, UK

  • Venue:
  • ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Ensuring dependability and security of Peer-to- Peer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterizes such systems. Dynamic verification provides the means of monitoring aspects of peer behaviour at runtime and the capacity to react to identified violations with the aim of preserving the system in the desired state. Thus, it can provide an extra layer of checking properties like security and dependability and lead to enhanced system resilience in this respect. In this paper, we introduce a framework that supports the dynamic verification of P2P systems.