Book
Armando, Alessandro; Carbone, Roberto; Compagna, Luca; Pellegrino, Giancarlo
Automatic security analysis of SAML-based single sign-on protocols
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