Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps

By A. Armando, R. Carbone, L. Compagna, Jorge Cuéllar, L. Tobarra. Formal Methods in Security Engineering, 2008

303 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Information Systems, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/15e1920d62fd5892595c82f09967485ef2b9c8ac