@book{EURECOM+3552, author = {Armando, Alessandro and Carbone, Roberto and Compagna, Luca and Pellegrino, Giancarlo}, title = {Automatic security analysis of SAML-based single sign-on protocols}, year = {2011}, series = {Book chapter N°10 in \"Digital Identity and Access Management: Technologies and Framework\", Business Science Reference, Editors: Raj Sharman, R., Das Smith, S, Gupta, M, December 2011, ISBN: 978-1613504987}, note = {Business Science Reference}, editor = {Business Science Reference}, }