@CONFERENCE\{IMM2002-02979,
    author       = "R. R. Hansen",
    title        = "A Prototype Tool for JavaCard Firewall Analysis",
    year         = "2002",
    month        = "nov",
    keywords     = "static analysis java card firewall flow logic",
    booktitle    = "Nordic Workshop on Secure {IT-}Systems",
    volume       = "",
    series       = "Karlstad University Studies",
    editor       = "",
    publisher    = "Karlstad University",
    organization = "",
    address      = "Karlstad, Sweden",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2979-full.html",
    isbn_issn    = "2002:31"
}