Trent Jaeger Reiner Sailer Yogesh Sreenivasan Managing the risk of covert information flows in virtual machine systems. 81-90 2007 conf/sacmat/2007 SACMAT http://doi.acm.org/10.1145/1266840.1266853 db/conf/sacmat/sacmat2007.html#JaegerSS07