On securing online registration protocols: Formal verification of a new proposal | Publicación