一种并行可复原可信启动过程的设计与实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jinnengm9min
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
操作系统可信性的建立是从整个计算机系统加电引导开始直至操作系统运行环境最终的创建,对任意一次可能降低操作系统可信性的执行代码操作都要进行一致性度量。本文基于可信计算联盟的规范,分析了基于TPM的可信引导过程,提出了一种新的可信引导过程:并行可复原可信引导过程一在主机CPU与TPM之间采用并行工作方式,并支持被验证组件代码的备份和恢复。然后利用通道技术设计和实现了这一引导过程。最后对该引导过程进行了安全和性能分析,分析表明该引导过程可以使计算机获得更高的安全保障,为进一步建立可信计算环境提供了基础。
其他文献
^131Ⅰ治疗甲亢是最古老、最成熟、应用最广泛的典范性治疗方法。由于其疗效好、简便、安全(多数病人可门诊治疗),不良反应小,费用低,越来越多的学者已将其作为成人甲亢治疗的首
首先简要回顾了互联网发展的3个阶段,明确了互联网体系结构的由来及现状。接着详细论述了互联网体系结构这一概念的内涵和外延,总结归纳了互联网体系结构的若干重要设计原则,探
本文首先给出一种弱诊断模型,利用系统的结构信息,快速得到系统的弱诊断,在不丢失解的情况下缩小诊断空间,以提高诊断效率。对仅知道系统的整体功能和物理结构系统,无法进行一致性
目前出现的大规模(large-scale)的多媒体应用对 Internet 提出了新的挑战。传统的 IP 组播(IP multicast,IPM)由于实现技术的复杂性,很难在 Internet 上推广。相反,基于叠加网络(overlay network,ON)的解决方案则受到各方面的关注。本文针对大规模实时多媒体应用需求,通过建立评价参数模型对 ON 协议进行研究。尤其对 overlay组播(ov
(m,k)模型是降低系统负载的一种有效方法。EDF算法由于其灵活性和自适应性而得到广泛应用。针对EDF算法,首先研究并给出了基于(m,k)模型的任务集可调度的必要条件和充分条件,然后给出
随着计算机技术的迅速发展,分布式应用的规模迅速增加,越来越多的软件系统开始采用面向服务的体系结构SOA。为了提高SOA的可靠性和可扩展性,一种有效的方式就是提供服务副本,并通
本文在扩展Petri网的基础上,提出了一个新的工作流模型——基于着色工作流网的工作流模型,并对其进行了详细设计。在此模型的基础上,本文实现了一个可视化的工作流建模工具,设计
全国普通高校招生管理系统在招生录取时导出投档单的后续功能较为简单,仅仅能共享到考生有限的数据,为了完整地复现考生电子档案,为高校后续管理提供电子数据,对该系统作了细致的
基于单容错编码的数据布局已经不能满足存储系统对可靠性越来越高的要求。对基于多容错编码的数据布局的研究受到了广泛的关注,并且出现了一些多容错的布局算法,如多维Parity,DH
建立了一种改选的不对称支持向量机(MISVM)和隐马尔可夫模型结合的混合学习模型,对于实际中具有的不对称样本数据集,采用调整Hessian矩阵对角参数的策略,增大数据量少的样本离超平