Anonymity

A

The system to consider for the Anonymity analysis:Ý P\C Method: for any perm r : A -> A Check that r (P\C)Ý =T P\C =T Ý: trace equivalence

C

E