论文部分内容阅读
摘要：远程程序执行的认证是可信计算的重要内容之一，文献中所提出的眾多框架大体上分为，基于软件，或基于硬件。初步地提出了一种远程程序执行的认证框架（命名为Spirit），Spirit综合地使用了程序分析、信任链、互模拟技术和TPM。
全文查看链接
文獻[19]对程序分析技术进行了综述。本文使用的主要是基于控制流的分析技术。
全文查看链接
[8]SESHADRI A ， et al. Pioneer： verifying code integrity and enforcing untampered code execution on legacy systems，2005.
全文查看链接