Anonymous protocols: Notions and equivalence