Anonymity analysis in credentials-based systems: A formal framework | Publicación