论文部分内容阅读
没有对可执行代码进行严格安全审查是当前PC机上恶意代码泛滥的根本原因。提出一个可以在可信计算平台上实现的代码安全审查模型，该模型首先建立初始时刻系统中所有可信代码的完整性特征列表，在系统运行过程中对所有待执行的代码进行完整性度量，然后基于可信代码的完整性特征列表对其进行可信验证，禁止主体执行来源不可信或已被篡改的代码，从而达到防御恶意代码攻击之目的。证明了模型对于恶意代码防御的有效性。对模型进行扩展，引入恶意代码检测函数，使之可以应用于开放系统。探讨了模型在执行期代码审查中的应用。