Using static analysis to validate the SAML Single Sign-on Protocol

Steffen Michael Hansen, Jakob Skriver, Hanne Riis Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationWITS
    Publication date2005
    Publication statusPublished - 2005

    Cite this