Abstract: At present，chain model adopts serial integrity measurement means to solve the problem of the transfer on application layer which can increase the overhead time and affect the efficiency of the system.This paper brings forward a new chain of trust model which uses virtualization technology to advance a method called parallel sorting integrity measurement which can reduce the overhead time of the integrity measurement and decide which program can run.In the end，formal verification is given to the presented model which shows the new model can meet the requirement of the trust transfer.

Key words: trusted computing, parallel sorting integrity measurement, model of chain of trust, formal verification

摘要： 目前的信任链传递模型在解决应用层的信任传递问题上采用串行完整性度量方案，增加了系统的时间开销，影响系统效率。论文提出了一种新的信任链传递模型，该模型利用虚拟化技术提出并行分类完整性度量方法，降低了应用层可信传递过程中的完整性度量时间开销，同时用户也可以根据自己的需求决定是否允许应用程序运行；通过对所提模型的形式化验证，表明新模型满足可信传递需求。

关键词: 可信计算, 并行分类完整性度量, 信任链传递模型, 形式化验证