On the anonymity in the Crowds protocol (talk)
Vladimiro Sassone · ePrints Soton (University of Southampton) · 2009
Formal definition Members: a total of m members participating in the protocol n honest members c=(m-n) corrupted members or collaborating attackers Anonymous events: a random variable A distributed over {a 1 , a 2 …, a n }, where a i indicates that the honest user i is the initiator of the message. Observable events: a random variable O distributed over {o 1 , o 2 …, o n }, where o i indicates that user i is honest and forwards the message to a corrupted user.In this case we say that user i is detected.