Formal analysis of SAML 2.0 web browser single sign-on: Breaking the SAML-based single sign-on for Google apps. Armando, A., Carbone, R., Compagna, L., Cuellar, J., & Tobarra, L. In Proc.\ 6th ACM Workshop on Formal Methods in Security Engineering, 2008.
bibtex   
@inproceedings{Armando+al:2008,
	author = {Armando, Alessandro and Carbone, Roberto and Compagna, Luca and Cuellar, Jorge and Tobarra, Llanos},
	title = {Formal analysis of {SAML} 2.0 web browser single sign-on: Breaking the {SAML}-based single sign-on for {G}oogle apps},
	booktitle = {Proc.\ 6th {ACM} Workshop on Formal Methods in Security Engineering},
	year = {2008},
 _pages = {1--10},
	_publisher = {ACM}
}

Downloads: 0