Last update: Sun Oct 15 02:58:48 MDT 2017
@Article{Bernaschi:2002:RSE, author = "Massimo Bernaschi and Emanuele Gabrielli and Luigi V. Mancini", title = "{REMUS}: a Security-Enhanced Operating System", journal = j-TISSEC, volume = "5", number = "1", pages = "36--61", month = feb, year = "2002", CODEN = "ATISBQ", ISSN = "1094-9224 (print), 1557-7406 (electronic)", ISSN-L = "1094-9224", bibdate = "Thu Aug 7 09:02:35 MDT 2003", bibsource = "http://portal.acm.org/; http://www.acm.org/tissec/contents/v5no1.html; http://www.math.utah.edu/pub/tex/bib/tissec.bib", acknowledgement = ack-nhfb, fjournal = "ACM Transactions on Information and System Security", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J789", }