Using static analysis to validate the SAML single sign-on protocol. - Steffen M. Hansen; Jakob Skriver; Hanne Riis Nielson (WITS, 2005)