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

Alessandro Armando Roberto Carbone Luca Compagna Jorge Cuéllar M. Llanos Tobarra Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. 1-10 2008 FMSE http://doi.acm.org/10.1145/1456396.1456397 conf/ccs/2008fmse db/conf/ccs/fmse2008.html#ArmandoCCCT08