Verifying Security Property of Peer-to-Peer Systems Using CSP.

Tien Tuan Anh Dinh Mark Ryan

Published in: ESORICS (2010)

Keyphrases

peer to peer systems
peer to peer
load balancing
peer to peer networks
distributed search
constraint satisfaction problems
overlay network
access control
resource discovery
unstructured peer to peer systems
digital libraries
high dimensional
distributed systems
distributed data