Anonymity
n Letнн AnUsers = {p1,p2}
n Letн A = {p1.m, p2.m}
n Example 1нннн p1.m -> p2.m -> Stop
n Example 2нннн p1.m -> Stopн |||н p2.m -> Stop
n Example 3нннн p1.m -> Stopнн +нн p2.m -> Stop
n Question: for each system, say whether or
not it provides anonymity wrt A