@CONFERENCE\{IMM2006-05465,
    author       = "H. Gao and H. R. Nielson",
    title        = "Analysis of {LYSA-}calculus with explicit confidentiality annotations",
    year         = "2006",
    month        = "apr",
    pages        = "39-43",
    booktitle    = "20th International Conference on Advanced Information Networking and Applications",
    volume       = "2",
    series       = "",
    editor       = "",
    publisher    = "{IEEE} Computer Society",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5465-full.html"
}