Security protocols analysis: A SDL-based approach | Publicación