可信Linux关键组件验证方案的研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户:kekexil123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近几年可信计算方面的研究发展迅速,但在支持可信计算的Linux方面的研究却相对落后,无法对所有可能改变系统可信状态的关健组件进行完整性验征,以至于无法划断系统是否处于可信状态。为了弥补这个不足,该义提出了一种验证Linux关键组件的新方案。该方案基于Delnetrios Lambrou的想法并对其进行了完善,弥补了其不能验征配置文件、动态共享库和可执行脚本的缺点,保证了对所有可能改变系统可信状态的关键组件的验证。
其他文献
膜分离技术因其高效且节能环保,被认为是可持续发展和绿色发展的关键技术。混合基质膜(MMM)以纳米级无机填料分散在高分子聚合物基质中,将无机膜的优异渗透性和选择性与聚合物膜的加工性结合起来,实现协同分离性能,提高膜的渗透性和选择性。本论文将新型介孔SiO_2纳米材料作为无机填料,进行介孔SiO_2材料/高分子混合基质膜的构建,改善膜的渗透性和选择性,分别应用于气体分离和液体分离。本文以阴离子表面活性
中国加入WTO后,面临的市场竞争越来越激烈,企业通过各种方法降低内部运营成本的空间已经逐渐被压缩,管理层开始将目光投放到企业外部成本上来。税收成本又恰恰是影响企业成本高低、资金流量甚至企业利润的一项重要外部成本。由此,部分企业逐步认识到纳税筹划的重要意义,管理层渴望借助纳税筹划实现“晚纳税、少纳税、合理避税”的节税目标。本文在这样的背景之下,以C食品公司为研究案例,运用定量与定性分析相结合的方法,
描述了MAS的模型构成和各个agent的基本功能,以精密运动机构的PLC控制为对象,介绍了使用PLC控制精密运动对象的方法,给出了步进电机或伺服电机爬坡程序控制方法,对包络表的构成和
从保密性和完整性的角度分析了用户普遍使用的、建立在自主访问控制机制上的、应用在高安全等级操作系统上运行所面临的安全问题,提出了一种面向应用类的安全策略.面向应用类
针对Java手机Web Service应用集成问题,通过分析现有Web Service的体系结构,以及Java手机硬件平台的相关技术,提出并实现了两种面向Java手机Web Service技术的应用集成方法,
基坑工程中的排桩和桩锚支护结构目前已经被广泛应用于全国各地,尤其是软土地区的深基坑工程中,对它们工作性能的深入研究具有重要的现实意义和良好的经济效益。本文采用弹性
TiNi形状记忆合金在航空、航天、生物医学、微机电系统、机器人、汽车等各行业有着广阔的应用前景。然而TiNi焊接接头焊缝金属微观组织成分相比于TiNi合金母材发生明显变化,焊缝金属的形状记忆性能(相转变温度、形状回复率)、力学性能与母材相比都有着明显的差异,限制了NiTi形状记忆合金焊接结构的实际使用价值。本文通过“预置Nb丝+热处理”的复合法改善TiNi激光焊接头焊缝金属的形状记忆性能(相转变温