随着计算机技术的飞速发展,信息安全问题变得越来越严重。由于Linux系统是开源的,因此重要信息系统主要将其用作操作系统平台,并且Linux系统上的应用程序被用作存储,传输和处理信息的重要业务系统,不断受到诸如蠕虫,病毒和特洛伊木马此类的恶意程序的攻击,造成信息系统失控,用户信息丢失,经济损失巨大。2017年6月发布的《中华人民共和国网络安全法》规定了网络安全等级保护制度。同时,在2019年12月实施的新的网络安全等级保护基本要求中,阐明了高安全级别系统的应用程序需要动态可信验证。可信计算具有主动防御功能,可以从根本上保证高安全性业务系统的网络安全。因此,满足等级保护制度和基本要求的应用程序动态可信验证是紧迫的研究课题。现有的应用程序动态可信验证方案有如下缺陷:在应用程序启动时,对依赖文件的度量不全面;在动态链接时,缺少对链接环境的度量;在应用程序运行时,对应用程序自身行为度量不准确,缺乏对运行环境的度量,缺少对待访问数据资源文件的度量。基于以上问题,提出了一种Linux环境应用程序动态可信验证框架,主要研究内容包括:(1)研究应用程序启动过程依赖文件的数据完整性。应用程序启动时,依赖于可执行文件、动态链接器、共享库文件、配置文件和环境变量。有必要验证上述文件的数据完整性,以确保所链接和要运行的程序的来源的可信性。(2)研究可执行文件、链接环境和运行环境的行为完整性。在应用程序的运行过程中,动态链接器充当链接环境,共享库文件充当运行环境。可执行文件通过链接环境访问运行环境,然后通过运行环境访问系统调用接口,最后通过系统调用接口访问计算机资源。因此,在用户空间中,需要保证可执行文件、链接环境和运行环境的行为完整性,以正确访问系统资源。(3)研究应用程序运行过程待访问数据资源文件的数据完整性。当应用程序运行时,它将在Linux上访问各种文件类型。数据资源文件用作应用程序的输入,这对应用程序的可信性有重要影响。因此,需要验证以上文件的数据完整性,以确保输入源的可信性。(4)研究及实现动态可信验证原型系统(DTVPS)。首先,研究与应用程序相关的主体、客体、操作和环境;其次,研究应用程序的预期行为的定义和提取,实际行为的实时监控,动态可信验证机制等;最后,实现DTVPS原型系统的功能和性能测试与分析。