硬件协助的软件控制流完整性远程证明方法

摘要

本发明属于控制流完整性远程证明方法的技术领域，特别是涉及一种硬件协助的软件控制流完整性远程证明方法，当程序被装载入内存，以进程的形式在操作系统内运行后，其所有指令都将由处理器执行。处理器的BTS硬件特性将记录处理器所执行的控制转移指令，并将控制转移信息记录到内存中指定位置。为了使验证方检查BTS记录是否完整，BTS记录的完整性指纹将被扩展到TPM的PCR中。当验证方提出验证请求后，证明方将BTS记录以及记录指纹提交给验证方。验证方根据记录指纹验证BTS记录的完整性，再根据BTS记录以及基准值验证软件控制流完整性。本发明提高了捕获控制转移信息的效率，提高了判定控制流完整性的准确性，并可以提供远程证明服务。