L–PEP: A Logic to Reason about Privacy–Enhancing Cryptography Protocols | Publicación