@MISC\{IMM2000-01584,
    author       = "P. Degano and R. Gorrieri and C. Hankin and F. Nielson and H. Riis Nielson",
    title        = "Security through Analysis and Verification",
    year         = "2000",
    publisher    = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1584-full.html"
}