基于行为等价的远程程序执行认证  

The Remote Program Executive Attestation based on Behavioral Equivalences

作　　者：梁志荣[1] 

机构地区：[1]肇庆学院现代教育技术中心,广东肇庆526061

出　　处：《智能计算机与应用》2013年第2期77-79,共3页Intelligent Computer and Applications

摘　　要：远程程序执行的认证是可信计算的重要内容之一,文献中所提出的众多框架大体上分为,基于软件,或基于硬件。初步地提出了一种远程程序执行的认证框架(命名为Spirit),Spirit综合地使用了程序分析、信任链、互模拟技术和TPM。The remote program executive attestation is one of the important contents of trusted computing. Based on software or hardware, most frameworks in the literature can be broadly divided into two kinds. This paper introduces a framework of remote program executive attestation （named Spirit）, which describes a technique for comprehensive utilization of program analysis, chain of trust, bisimulation technology and TPM.

关 键 词：认证 TPM 程序分析 信任链 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]