Using static analysis to validate the SAML Single Sign-on Protocol | Steffen Michael Hansen, Jakob Skriver, Hanne Riis Nielson
| | Type | Conference paper [With referee] | | Conference | WITS | | Year | 2005 | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|