Formal security analysis of registration protocols for interactive systems: a methodology and a case of study | Publicación