基于“恒智”芯片的可信计算系统的研究

来源 :西安建筑科技大学 | 被引量 : 0次 | 上传用户:xiaozao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
终端系统的安全是构建网络安全的基础。我们在享受计算机互联带来的好处的同时,也期望保存在终端系统上的用户信息不被泄漏和破坏。如果一个系统将要执行的行为和系统运行的状态是否安全事先能被知道,我们称这个系统的行为可以被预知,如果一个系统始终按照预知的目的来执行预知的行为,那么我们认为这个系统的行为是可以控制的,如果一个系统以这种方式运行的话,系统就可以提高自身的可信赖程度,最大程度地降低风险,保障用户的隐私。这样的系统平台我们称为可信平台。可信计算技术是采用软硬件技术相结合,在普通终端上嵌入一款安全硬件设备,通过数据安全保护,身份验证以及系统完整性保护三大安全机制来保证终端系统的安全。如何实现这些安全机制是本文研究的目标。为了实现这个目标,本文以可信计算技术为背景,实现了TCG组织定义的可信平台模块这个安全硬件设备,并通过测试验证它的功能。论文的主要内容和贡献如下:1.分析了目前安全技术的研究现状和发展要求,提出了安全研究的发展方向。2.介绍了可信计算的概念,以及可信计算的三大分支的发展情况,包括TCG组织的可信计算平台,微软的NGSCB和Intel的LaGranda技术。并分析了TCG组织的可信计算平台体系结构。3.基于TCG组织定义的规范,分析了可信平台模块的安全特性。4.实现了TPM的部分功能模块,包括AIK管理模块,数据存储模块。5.通过对TPM安全芯片的测试,验证了本文实现的TPM安全芯片符合TCG组织定义的规范要求,具有身份验证,数据硬件保护和平台完整性保护功能。
其他文献
随着计算机应用技术和图形图像技术的深化和发展,人们日常信息成几何式的增长,可视化技术逐渐成为这个信息时代研究的热点,层次结构数据的可视化是可视化研究领域中的一个重要分
蛋鸡产业是中国禽业的主要支柱之一,从1985年开始,连续29年我国蛋鸡饲养量位居世界第一,是我国农村的一大产业,甚至是一些地区的支柱产业。与我国庞大的蛋鸡养殖和蛋品销售规模相
本文的目的是研究一种新的并行进化算法及其应用。群体智能算法是一种进化类算法,是解决优化问题特别是复杂系统优化问题的有效手段。而QPSO是一种新的、具有全局收敛性群体
自上世纪80年代起,由于计算机科学的飞速发展以及计算机技术在语言研究领域中的迅速普及和应用,使得语料库语言学成为研究主流,其中平行语料库和比较语料库已成为语料库语言
基于内容的图像检索是一种利用图像的视觉特征(颜色、纹理、形状等)进行图像检索的技术。随着计算机科学和数据库技术的发展,CBIR已成为国内外的一个研究热点。文中首先回顾了
基于HLA的分布式仿真系统强调仿真应用的互操作性和可重用性,但是它所关心的仅仅是仿真应用层中成员对象之间的交互,没有涉及仿真资源层的管理,例如:资源动态分配、资源重用等。
随着信息技术的发展,信息网格已经成为计算机科学与技术研究的重要领域。为了在异构、分布式环境中实现信息共享,使用基于SOA的思想和WebServices技术来构建信息网格已经成为
随着各种新技术尤其是信息技术在气象领域的普遍应用,气象部门产生了大量的专业数据,这些数据具有海量性、复杂性、空间特性。通过对气象业务的深入分析,发现基于文件的管理模式
集成了传感器、嵌入式计算、网络和无线通信四大技术而形成的无线传感器网络(Wireless Sensor Networks, WSN)是一种全新的信息获取和处理技术,是一种新型的无基础设施的无线
客户关系管理作为一个全新的理念,在国内的电力、营销等行业都有了一定的应用发展,但在医疗行业的应用发展还是非常少的,随着医疗体制改革的深入发展,医疗行业的客户关系管理