@InProceedings{DKS08,
    Author       = "Delaune, S. and Kremer, S. and Steel, G.",
    Year         = "2008",
    Title        = "{Formal Analysis of PKCS#11}",
    Editor       = "Sabelfeld, A.",
    BookTitle    = "{Proceedings of the 21st IEEE Computer Security Foundations
                    Symposium}",
    Place        = "Pittsburg, USA",
    Pages        = "331-344",
    Publisher    = "IEEE Press",
    Comment      = "TPTPRef"
}