Andrea C. Arpaci-Dusseau Remzi H. Arpaci-Dusseau Nathan C. Burnett Timothy E. Denehy Thomas J. Engle Haryadi S. Gunawi James A. Nugent Florentina I. Popovici Transforming policies into mechanisms with infokernel. 90-105 2003 conf/sosp/2003 SOSP http://doi.acm.org/10.1145/945445.945455 db/conf/sosp/sosp2003.html#Arpaci-DusseauABDEGNP03