@misc {IOPORT.70675213,
    author       = {Hermann, Eckehard},
    title        = {The limes security model for information flow control},
    howpublished = {ARES, 573-580 (2011).},
    year         = {2011},
    identifier   = {70675213},
}