@CONFERENCE\{IMM2007-05468,
    author       = "H. Gao and C. Bodei and P. Degano and H. R. Nielson",
    title        = "A Formal Analysis for Capturing Replay Attacks in Communication Protocols",
    year         = "2007",
    month        = "dec",
    booktitle    = "12th Annual Asian Computing Science Conference: Focusing on Computer and Network Security",
    volume       = "",
    series       = "Lecture Notes in Computer Science",
    editor       = "",
    publisher    = "",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5468-full.html"
}