[Xen-devel] trusted computing

Tim Freeman
Mon, 18 Oct 2004 16:29:29 -0000

not about Xen in particular, but as a side note, because I think some
people are interested in trusted computing and virtualization?  If
you''re not, sorry for the intrusion!

http://www.research.ibm.com/secure_systems_department/projects/tcglinux/

"Currently, we experiment measuring the information flow on SELinux
systems to reason about isolation properties of a system. For this
purpose, we modified tcgLinux to run as an LSM kernel module stacked on
top of SELinux. We also envision to extend our attestation method to
integrate virtualization technology and partition the attestation space
of a system using the information flow policies enforced therein."