@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},
}