在分布式计算中,一个重要的问题是如何验证远程计算机系统的状态。以可信计算联盟(TrustedComputingGroup)的可信平台模块为基础,提出一种安全验证远程计算机系统状态的方法,并在Windows系统上实现。通过该远程证实系统,远程的挑战者能够获得证实系统(被验证的系统)运行时的状态。