@CONFERENCE\{IMM2003-02866,
    author       = "M. R. Hansen and R. Sharp",
    title        = "Using Interval Logics for Temporal  Analysis of Security Protocols",
    year         = "2003",
    pages        = "24-31",
    booktitle    = "First {ACM} Workshop on Formal Methods in Security Engineering  (FMSE'03)",
    volume       = "",
    series       = "",
    editor       = "Michael Backes and David Basin and Michael Waidner",
    publisher    = "{ACM} Press",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2866-full.html"
}