@CONFERENCE\{IMM2005-03657,
    author       = "S. M. Hansen and J. Skriver and H. R. Nielson",
    title        = "Using static analysis to validate the {SAML} Single Sign-on Protocol",
    year         = "2005",
    booktitle    = "WITS",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3657-full.html"
}