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. In Vitaly Shmatikov, editor, Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008. pages 1-10, ACM, 2008. [doi]

Authors

Alessandro Armando

This author has not been identified. Look up 'Alessandro Armando' in Google

Roberto Carbone

This author has not been identified. Look up 'Roberto Carbone' in Google

Luca Compagna

This author has not been identified. Look up 'Luca Compagna' in Google

Jorge Cuéllar

This author has not been identified. Look up 'Jorge Cuéllar' in Google

M. Llanos Tobarra

This author has not been identified. Look up 'M. Llanos Tobarra' in Google