论文部分内容阅读
如今,信息资源已发展成为一种非常重要的国家战略资源。伴随着信息产业的发展,信息系统的安全问题也越来越引起人们的重视。
可信计算是从计算机的硬件体系结构上入手,从根源上使得计算机的运行环境变成为我所信任的一门信息安全技术。目前它已成为信息安全技术领域中的一个新的研究热点,并且市场上也已经出现了一些关于可信计算的产品,但是随着可信计算的发展,也出现一些问题需要我们进一步的研究和解决。问题主要是以下两个方面:一是可信计算理论研究落后于可信计算应用技术,至今在可信计算领域尚未有一个被普遍认可的理论模型;二是目前己出现的大多数可信度量模型都是静态完整性度量,这种度量方法只能确保计算机开机时系统资源的静态完整性而无法确保资源的动态可信性;而少数提出的动态行为可信性度量模型的系统开销比较大,以致在现实中难以实现。
针对以上问题,本文从软件运行的实际环境出发,提出软件行为迹、检测场景以及时间戳等概念,并对这些概念进行了深入解析,为软件行为的动态可信度量提供了一定的理论基础。另外,由于软件行为的描述和监控是软件行为动态可信性度量的基础,因此本文通过建立一个软件行为可信性动态度量模型实现了基于TPM的可信软件行为分析与监控机制。在该模型中,本文还详细分析和构建了模型中的软件行为预期特征库部分,特别是该特征库中行为特征的提取以及构造方法。最后阐述了在该度量模型下,软件行为动态可信性的度量机制。