1. Trusted Computing Group. TPM Main Specification Versions 1. 2 [EB/OL]. [2006-03-07].htt://www.trustedcomputinggroup.org.
2. Reid J F, Caelli W. J DRM, Trusted Computing and Operating System Architecture[C]//Proceeding of Australasian Information Security Workshop (AISW) 2005. Newcastle, Australia, Feb 2005.
3. Kelem N L, Reiertag R J. A, Separation Model for Virtual Machine Monitors[C]//Proceeding of the Sysposium on Research in Security and Privacy. Oakland, USA, May 1991.
4. Rushby J. Proof of Separability: A Verification Technique for a Class of Security Kernels[C]//Proceeding of the 5th International Symposium on Programming. Turin, Italy, April 1982.
5. Rushby J.Safe and Secure Computing Systems [M]. Malden: Blackwell Science Inc., 1989.