Linux环境应用程序动态可信验证研究及实现

来源 :北京工业大学 | 被引量 : 0次 | 上传用户:lzhongyue
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术的飞速发展,信息安全问题变得越来越严重。由于Linux系统是开源的,因此重要信息系统主要将其用作操作系统平台,并且Linux系统上的应用程序被用作存储,传输和处理信息的重要业务系统,不断受到诸如蠕虫,病毒和特洛伊木马此类的恶意程序的攻击,造成信息系统失控,用户信息丢失,经济损失巨大。2017年6月发布的《中华人民共和国网络安全法》规定了网络安全等级保护制度。同时,在2019年12月实施的新的网络安全等级保护基本要求中,阐明了高安全级别系统的应用程序需要动态可信验证。可信计算具有主动防御功能,可以从根本上保证高安全性业务系统的网络安全。因此,满足等级保护制度和基本要求的应用程序动态可信验证是紧迫的研究课题。现有的应用程序动态可信验证方案有如下缺陷:在应用程序启动时,对依赖文件的度量不全面;在动态链接时,缺少对链接环境的度量;在应用程序运行时,对应用程序自身行为度量不准确,缺乏对运行环境的度量,缺少对待访问数据资源文件的度量。基于以上问题,提出了一种Linux环境应用程序动态可信验证框架,主要研究内容包括:(1)研究应用程序启动过程依赖文件的数据完整性。应用程序启动时,依赖于可执行文件、动态链接器、共享库文件、配置文件和环境变量。有必要验证上述文件的数据完整性,以确保所链接和要运行的程序的来源的可信性。(2)研究可执行文件、链接环境和运行环境的行为完整性。在应用程序的运行过程中,动态链接器充当链接环境,共享库文件充当运行环境。可执行文件通过链接环境访问运行环境,然后通过运行环境访问系统调用接口,最后通过系统调用接口访问计算机资源。因此,在用户空间中,需要保证可执行文件、链接环境和运行环境的行为完整性,以正确访问系统资源。(3)研究应用程序运行过程待访问数据资源文件的数据完整性。当应用程序运行时,它将在Linux上访问各种文件类型。数据资源文件用作应用程序的输入,这对应用程序的可信性有重要影响。因此,需要验证以上文件的数据完整性,以确保输入源的可信性。(4)研究及实现动态可信验证原型系统(DTVPS)。首先,研究与应用程序相关的主体、客体、操作和环境;其次,研究应用程序的预期行为的定义和提取,实际行为的实时监控,动态可信验证机制等;最后,实现DTVPS原型系统的功能和性能测试与分析。
其他文献
著名智者根敦群培为了报答世界对它的养育之恩及膳食之恩而留下的著作是《智游佛国漫游记》,他也曾言过:“以余之拙作,报人世长久膳食之恩典。”近二十多年里引起了前所未有
編鐘是先秦時期最為璀璨輝煌的“金石之樂”的代表,但隨著時代變遷已逐漸衰亡。又因《樂經》已佚,音聲樂律的傳承便出現了嚴重的斷代。《國語》中的樂律文獻雖只占零星篇幅,
目的观察高糖诱导的大鼠肾小球系膜细胞中期因子(MidKine,MK)蛋白和基因的表达及与蛋白激酶C(protein kinase C,PKC)、转化生长因子(transforming growth factor-β1,TGF-β1
随着“大众创业、万众创新”被定义为国家实施供给侧改革和经济转型升级的新引擎,越来越多的中小创业创新企业如雨后春笋般拔地而起,战略新兴行业和跨产业的新行业迅速发展,
近年来,我国经济发展迅猛,但环境污染问题日趋严峻。随着资源环境问题的逐步恶化,低碳经济、绿色经济越来越受到人们的重视。资源型产业作为生产部门的基础性产业,其耗竭资源和破坏生态环境的负外部性尤为显著,需要政府进行干预和介入。而环境财税政策在纠正市场失灵、控制污染、保护环境等方面具有有效作用机制。因此,探寻我国环境财税政策对资源型产业绿色发展的影响具有重大意义。本文首先在相关理论的基础上,分析了我国环
风机是火电厂中常见的重要辅机设备,对火电厂的生产起着重要的作用。在实际生产中,风机的运行环境恶劣,容易发生故障,而风机故障将给火电厂带来生产利益损失,甚至引发重大生产安全事故。实时监测风机的运行状态,对风机进行故障预警,对于火电厂运行安全性与经济性具有重要意义。本文主要研究基于多元状态估计法的火电厂风机状态监测与故障预警方法,在故障发生之前,及时发现异常并预警,使运行人员能采取应对措施,避免产生更
随着航空航天领域使用多种材料制造蜂窝结构部件技术的急需,近年来我国科技工作者已经自行开发和研制了许多种类发泡结构胶黏剂,但与国外先进技术相比,我国的发泡胶结构黏剂
制动系统是机车安全运行的生命线,是确保机车高效、安全可靠运行的最重要的系统之一。本文结合大连厂高原机车项目,对高原机车制动系统进行设计并对高原特殊的运用环境对机车制动系统的影响进行了研究分析。本文首先对高原机车总体设备布置,实际运用的工况要求及机车主要技术参数进行了简要介绍。然后结合高原特殊的气候条件,对机车制动系统进行详细设计分析。制动风源系统主要从系统组成结构、主要部件的选型、性能参数配置、理
伴随着我国招投标制度的实施,招标作为一种优化资源配置的方法,已逐渐深入人心并成为采购方式的主流。随着招投标事业的发展,招标代理服务便成为应运而生并逐步发展起来的新
会议
拉先加是近代藏族文坛上致力于文学小说创作的一位创作型作家,“故乡”是拉先加的小说的出发点,也是最后的回归之地。他用二十余年的时间在藏区《章恰尔》《西藏文艺》《民族