BibTeX
@inproceedings{DBLP:conf/sp/KrohnT09,
author = {Maxwell N. Krohn and
Eran Tromer},
title = {Noninterference for a Practical DIFC-Based Operating System},
booktitle = {IEEE Symposium on Security and Privacy},
year = {2009},
pages = {61-76},
ee = {http://dx.doi.org/10.1109/SP.2009.23},
crossref = {DBLP:conf/sp/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sp/2009,
title = {30th IEEE Symposium on Security and Privacy (S{\&}P 2009),
17-20 May 2009, Oakland, California, USA},
booktitle = {IEEE Symposium on Security and Privacy},
publisher = {IEEE Computer Society},
year = {2009},
isbn = {978-0-7695-3633-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-09-29 by Michael Ley (ley@uni-trier.de)