Formal analysis of SAML 2.0 web browser single sign-on | Publicación