@INCOLLECTION\{IMM2000-0966,
    author       = "C. Bodei and P. Degano and H. Riis Nielson and F. Nielson",
    title        = "Security Analysis using Flow Logics",
    year         = "2000",
    pages        = "525-542",
    booktitle    = "Current Trends in Theoretical computer Science",
    volume       = "",
    number       = "",
    series       = "",
    publisher    = "World Scientific",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/966-full.html"
}