Verifying Security Property of Peer-To-Peer Systems Using CSP

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-15497-3_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verifying Data Integrity in Peer-To-Peer Media Streaming

2005English

Peer-To-Peer Systems

Communications of the ACM
Computer Science
2010English

Framework for Preserving Security and Privacy in Peer-To-Peer Content Distribution Systems

Expert Systems with Applications
EngineeringComputer Science ApplicationsArtificial Intelligence
2015English

Parallel Simulation of Peer-To-Peer Systems

2012English

Usage-Aware Search in Peer-To-Peer Systems

English

Head-Tail Video Streaming Over Peer to Peer Systems

International Journal of Computer Networks and Communications
HardwareComputer NetworksArchitectureCommunications
2011English

Snap-Stabilizing Prefix Tree for Peer-To-Peer Systems

Parallel Processing Letters
HardwareTheoretical Computer ScienceArchitectureSoftware
2010English

Cooperative Networked Control of Dynamical Peer-To-Peer Vehicle Systems

2007English

SHP: A Hierarchical Protocol to Improve Performance of Peer-To-Peer Systems

International Journal of Peer to Peer Networks
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy