计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2009年
31期
98-101
,共4页
可信计算%并行分类完整性度量%信任链传递模型%形式化验证
可信計算%併行分類完整性度量%信任鏈傳遞模型%形式化驗證
가신계산%병행분류완정성도량%신임련전체모형%형식화험증
trusted computing%parallel sorting integrity measurement%model of chain of trust%formal verification
目前的信任链传递模型在解决应用层的信任传递问题上采用串行完整性度量方案,增加了系统的时间开销,影响系统效率.论文提出了一种新的信任链传递模型.该模型利用虚拟化技术提出并行分类完整性度量方法,降低了应用层可信传递过程中的完整性度量时间开销,同时用户也可以根据自己的需求决定是否允许应用程序运行;通过对所提模型的形式化验证,表明新模型满足可信传递需求.
目前的信任鏈傳遞模型在解決應用層的信任傳遞問題上採用串行完整性度量方案,增加瞭繫統的時間開銷,影響繫統效率.論文提齣瞭一種新的信任鏈傳遞模型.該模型利用虛擬化技術提齣併行分類完整性度量方法,降低瞭應用層可信傳遞過程中的完整性度量時間開銷,同時用戶也可以根據自己的需求決定是否允許應用程序運行;通過對所提模型的形式化驗證,錶明新模型滿足可信傳遞需求.
목전적신임련전체모형재해결응용층적신임전체문제상채용천행완정성도량방안,증가료계통적시간개소,영향계통효솔.논문제출료일충신적신임련전체모형.해모형이용허의화기술제출병행분류완정성도량방법,강저료응용층가신전체과정중적완정성도량시간개소,동시용호야가이근거자기적수구결정시부윤허응용정서운행;통과대소제모형적형식화험증,표명신모형만족가신전체수구.
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.
