基于嵌入式可信系统的可容忍非信任组件的计算平台

来源 :武汉大学学报(信息科学版) | 被引量 : 3次 | 上传用户:ly_exe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对现在大量遗留系统中存在的非信任组件会造成终端安全操作隐患这一问题,提出了一种基于嵌入式可信系统的可容忍非信任组件的计算平台,该平台在不改变现有终端硬件结构以及上层操作系统的前提下,允许非信任组件的存在,并采用虚拟机等技术保证非信任组件不会造成严重的安全威胁。另外,基于IMA与SB两种度量模型为该平台设计了新的完整性度量模型,该度量模型借鉴IMA对嵌入式系统进行度量,而对于上层平台则使用由虚拟机支持的SB模型,以保证平台的可信启动、进程的可信加载、程序的可信运行安全有效。
其他文献
机械加速澄清池、平流沉淀池这些水处理池中沉降设备的积泥逐渐堵塞问题,成了长期以来困扰供水企业的一大难题,也是每一个地表水厂水处理工艺过程中的"瓶颈"。为了解决沉积污
提出了应用组合方法进行安全协议的规范化设计,给出了协议中基件与组件的定义,分析了组件的安全属性,及基于组件设计能实现相应安全目标的单步协议;定义了组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议,按照组合规则组合后,便可得到满足需求的安全协议。该方法可将一个复杂协议分解为若干基于组件的简单单步协议,使得协议的设
基于星载GNSS的低轨卫星精密定轨是目前大地测量领域的研究热点,也是解决我国对地观测卫星精密轨道确定最有效的手段。讨论了目前低轨卫星星载GNSS精密定轨的精度评价方法,并通过对GRACE卫星的实测和仿真数据的处理和分析,讨论了这些方法在不同观测条件下的有效性与局限性。
本文对能源管理与节能降耗进行了探讨。文章围绕管理节能途径、技术节能途径、结构节能途径、能源效率设计、能源管理等进行了阐述。
本文对城市供水管网的安全运营进行了探讨。文章分析了影响供水管网安全运营及管网管理和维护过程中存在的主要问题,阐述了供水管网安全运营管理和维护技术的发展趋势。
以高精度DEM和正视IKONOS全色影像为基础数据,忽略IKONOS和目标相机在轨成像时入瞳辐亮度的差异,简化卫星飞行轨迹的计算,用不同频率、振幅的正弦曲线叠加生成卫星姿态角,用像元细分和积分过程离散化方法获取CCD在多级动态积分过程中接收的平均辐亮度,根据辐亮度与DN值的转换参数仿真相机的模数转换过程。根据基础影像和目标影像的MTF对应关系在频率域进行MTF退化,根据目标影像信噪比参数对影像加入
本文主要通过介绍精细化管理理念、特点和南洲水厂的仪器仪表精细化管理制度,探讨如何在设备管理中引入精细化管理的方法。
本文对供水行业管材选型维护与管理进行了探讨。文章围绕供水行业管材选型的重要性、管材选型考虑的因素、供水管道的种类、常用的几种供水管材等进行了阐述。
给出了高斯投影和墨卡托投影正反解的复变函数表达式,在此基础上推导出了这两种投影解析变换的复数形式的直接公式和间接公式,将其表示为含椭球第一偏心率e的符号形式,可解决两种投影在不同地球参考椭球下的变换问题。算例结果表明,复数变换公式的计算精度在0.000 1 m以上,可供实际使用。
设备维修模式多种多样,本文对设备维修模式的特点进行了比较,着重对状态维修的应用提出了一些自己的看法。