Methodological Security Verification of a Registration Protocol | Publicación