Virtualization is a new research area in recent years, which gives greater convenience in resource management. With the development of networks and grid computing, it has also a wide range of application in cloud computing, however, also meets many security problems, such as Root-kit attacks and malicious attacks, which can be embedded in system as a plug-in and start as system at any time. Therefore, for this issue, Combined with trusted computing, this paper puts forward an effective trusted theoretical model for virtual machine, and then gives formal analysis, which not only can analyze trusted state of virtual system environment,...