187
click to vote
CSFW
2002
IEEE
16 years 7 days ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...