检索结果-内蒙古大学图书馆

计算机测量与控制 2011年第11期19卷 2735-2738页

作者：闫建红彭新光太原理工大学计算机科学与技术学院山西太原030024 太原师范学院计算机系山西太原030012

介绍了TSS体系结构和TSP对象及其对象之间的关系,通过一个基于可信计算的数据密封程序,分析如何调用TPM驱动程序,如何使用驱动程序中各个对象,纵向说明了可信计算软件运行架构和过程;实验以tpm_emulator0.7.1模拟TPM芯片,验证了文件密... 详细信息

介绍了TSS体系结构和TSP对象及其对象之间的关系,通过一个基于可信计算的数据密封程序,分析如何调用TPM驱动程序,如何使用驱动程序中各个对象,纵向说明了可信计算软件运行架构和过程;实验以tpm_emulator0.7.1模拟TPM芯片,验证了文件密封的过程和TSS的工作原理,展示了TPM芯片模拟、核心驱动程序、应用程序的三者之间的相互调用关系;对基于可信计算的软件编程起到很好的指导作用。

关键词：可信计算 TCG软件栈可信平台模块 TSP对象

来源：评论

学校读者我要写书评

暂无评论

可信计算平台可信度量机制的应用与研究

可信计算平台可信度量机制的应用与研究

引用

作者：韦荣西安电子科技大学

学位级别：硕士

应用可信计算技术解决计算机安全问题,是当前理论和实践研究的热点。可信度量机制是可信计算体系的核心组成部分,可信计算中许多安全性解决方案的实现都依赖于可信度量机制。本文结合可信计算平台环境,对可信度量机制的理论进行了深入... 详细信息

应用可信计算技术解决计算机安全问题,是当前理论和实践研究的热点。可信度量机制是可信计算体系的核心组成部分,可信计算中许多安全性解决方案的实现都依赖于可信度量机制。本文结合可信计算平台环境,对可信度量机制的理论进行了深入的分析,研究了其中的关键技术――完整性度量和报告,总结了可信度量机制的应用模式。在研究TCG规范与TPM仿真子的基础上,总结归纳了可信度量机制的实现方法,并利用TPM仿真子在LINUX环境下,编程实现了可信度量的主要功能。最后本文引入一个典型的电子政务应用:县乡通电子公文传输系统。根据在开发该系统过程中具体的安全需求及系统的安全性状况,结合可信度量机制的研究,设计了从多方面利用可信度量机制增强县乡通电子公文传输系统安全的方案。

关键词：可信计算可信度量完整性

来源：评论

学校读者我要写书评

暂无评论

可信计算中的远程匿名认证

可信计算中的远程匿名认证

引用

作者：老巍婷中山大学

学位级别：硕士

随着互联网的高速发展，网络对安全保障提出了更高的要求。传统的信息安全措施主要是通过修补漏洞、安装防火墙、防御外部攻击等防御手段来抗击计算机外部的病毒、黑客的攻击和侵袭，但是计算机网络最终仍然是不安全的。实际上，所有计... 详细信息

随着互联网的高速发展，网络对安全保障提出了更高的要求。传统的信息安全措施主要是通过修补漏洞、安装防火墙、防御外部攻击等防御手段来抗击计算机外部的病毒、黑客的攻击和侵袭，但是计算机网络最终仍然是不安全的。实际上，所有计算机入侵攻击都是从个人计算机终端上发起的。因此，信息安全技术就要从另一个角度来解决安全问题，那就是直接保护终端计算机的安全，从终端出发确保网络资源的安全来实现整个网络安全。可信计算技术就是为了解决这些问题而日益成为信息安全领域研究的一个新热点。同时，在可信计算技术中，终端计算机是通过用户身份认证来实现安全的远程访问，用户在实现远程认证的同时也要求保护自己的隐私不被泄漏。\n 本文首先对信息安全的安全技术局限、可信计算的概念、可信计算的发展及其体系结构进行了深入的分析和研究。然后介绍了密码学和认证的基础知识，对本文所提出的新远程匿名认证方案应用的一些知识的有关理论作了详细的描述。接着讨论了本文的研究主要关注解决的远程认证中的隐私性问题。最后，通过讨论现有远程认证方案的弊端，根据可信计算中远程匿名认证的要求，基于双线性对密码体制提出了一个新的远程匿名认证方案。该方案能够完全保护用户终端的隐私，具有匿名性，而且比以往的其他方案在实现方面效率更高，更简洁。\n 本文的主要工作体现在以下方面：1.对可信计算领域的相关概念和发展现状进行了深入的研究，并详细介绍了可信计算体系的结构模块。2.

关键词：可信计算远程匿名认证信息安全

来源：评论

学校读者我要写书评

暂无评论

可信计算平台匿名认证技术的设计和实现

可信计算平台匿名认证技术的设计和实现

引用

作者：蒋李陕西师范大学

学位级别：硕士

Internet的开放性导致其在安全和可靠方面的缺陷,使得当前Internet的应用技术已经不能满足电子商务、电子政务等领域的安全需求,传统的信息防御措施不能有效的从源头解决网络信息安全问题。可信计算平台作为解决信息安全隐患的计算机软... 详细信息

Internet的开放性导致其在安全和可靠方面的缺陷,使得当前Internet的应用技术已经不能满足电子商务、电子政务等领域的安全需求,传统的信息防御措施不能有效的从源头解决网络信息安全问题。可信计算平台作为解决信息安全隐患的计算机软硬件实体,引起了人们越来越多的关注。可信匿名认证是可信计算平台的重要功能,旨在解决接入网络终端平台身份的真实性鉴别,匿名地保证了接入网络的终端设备都是可信的。TPM vl.2规范中的DAA方案着重于平台身份隐私的保护,却忽略了对平台基本配置信息的保护,不能有效地提供不同信任域之间的TPM身份认证,这使其很难适用于复杂的Internet环境中。论文在深入研究了现有可信匿名认证方案的基础上,针对其不足之处,设计和实现一种高效安全的可信匿名认证协议,解决了分布式网络环境下平台的身份认证问题,主要的创新性工作有几下几点： 1)针对DAA方案中存在平台基本配置隐私泄露的缺陷,提出了一种基于代理的DAA认证机制。该方案在基于非对称双线对的DAA方案基础上,引入了验证代理完成对示证者的平台身份和完整性验证,有效地保护了平台配置信息的隐私,并且在LRSW假设和DBDH假设下满足不可伪造性、可控的匿名性等安全需求； 2)针对DAA方案仅提供单域认证的局限性,结合信任关系,提出了一种基于动态信任值的跨域认证机制,实现了不同信任域之间的TPM身份认证。该方案将信任关系量化为[0,1]之间的信任值,通过对域间信任值与信任阈值的比较动态地实现了TPM用户的跨域访问,有效地减小跨域认证时TPM的工作负载和DAA认证的时间开销； 3)论文利用TPM-Emulator,在Linux下搭建了可信计算平台环境,通过Glade编程开发了使用虚拟TPM芯片的图形软件,对提出的可信匿名认证方案进行了部分实现。

关键词：可信计算可信平台模块平台身份直接匿名认证

来源：评论

学校读者我要写书评

暂无评论

可信计算平台技术应用研究

可信计算平台技术应用研究

引用

作者：温博为陕西师范大学

学位级别：硕士

随着智能平台技术的不断发展,计算机网络的规模不断扩大,终端的数量也急剧增加,使得信息安全保护的难度增加,仅仅使用传统的接入认证方式已经无法确保用户的信息安全。可信计算的出现带来了一种新的安全防护思想,即从保护平台的完整性,... 详细信息

随着智能平台技术的不断发展,计算机网络的规模不断扩大,终端的数量也急剧增加,使得信息安全保护的难度增加,仅仅使用传统的接入认证方式已经无法确保用户的信息安全。可信计算的出现带来了一种新的安全防护思想,即从保护平台的完整性,真实性和数据的安全性入手,实现对终端的可信认证。但目前可信计算技术应用存在软件模块开发难度大,没有成熟可用的开发平台等问题。针对上述问题,论文根据TCG发布的TPM1.2以及TSS1.2规范搭建可信计算平台,并以此为依托深入研究可信计算平台技术,主要取得以下研究成果： (1)搭建可信计算平台。在Linux系统上,以TPM模拟器TPM-emulator为硬件基础,根据规范搭建可信计算平台。使得应用程序可以通过平台调用TPM相关功能,为后续研究和开发打下坚实的基础。 (2)设计并实现可信软件开发组件。在可信计算平台上,根据可信计算功能模块设计,在可信协议栈Tss上以面向对象程序设计思想,整合并抽象出各个功能模块接口,使得开发应用程序时可以直接调用相关的功能模块。 (3)提出Kerberos协议的可信安全加固方案以及一种可信接入协议。使用可信计算技术对经典的Kerberos协议进行安全加固,同时从软件开发的角度设计了一套可信接入协议来验证可信软件开发组件的可用性,同时为其他可信协议的开发提供参考和借鉴。 (4)可信计算平台功能验证以及效率测试。通过调用可信软件开发组件接口,调用可信计算功能模块,以验证可信软件开发组件的可用性和正确性。同时测试各个功能的执行效率,并与CPU执行效率进行对比,实验结果表明在执行密码学相关功能的计算时,使用TPM进行加密和散列计算的速率约为CPU的30倍和124倍,平均节省CPU资源约23%。

关键词：可信计算可信计算平台可信平台模块可信软件开发组件

来源：评论

学校读者我要写书评

暂无评论

可信计算平台密钥管理机制的应用与研究

可信计算平台密钥管理机制的应用与研究

引用

作者：杨波西安电子科技大学

学位级别：硕士

密钥作为安全领域的一个重要部分,一直以来备受人们的关注。可信计算又是信息安全中的一项重要技术,其密钥管理部分的安全性保障更是不言而喻。因此,研究和分析可信计算平台的密钥管理机制具有十分重要的意义。本文将可信计算平台... 详细信息

密钥作为安全领域的一个重要部分,一直以来备受人们的关注。可信计算又是信息安全中的一项重要技术,其密钥管理部分的安全性保障更是不言而喻。因此,研究和分析可信计算平台的密钥管理机制具有十分重要的意义。本文将可信计算平台密钥管理机制引入到县乡电子公文传输系统中,通过分析现有的可信计算平台密钥管理机制、平台的身份认证机制和县乡电子公文传输系统的特性,提出了通过可信计算平台实现身份认证的安全性方案。课题研究中,本人研究了基于可信计算平台的密钥管理机制和身份认证模式,设计了综合TPM（可信平台模块）密钥管理功能、TSS（TCG软件协议栈）和可信计算平台身份认证的新方案,并将其应用于县乡电子公文传输系统中客户端和服务器端之间的认证。为了实现此认证方案,本人参与设计实现了利用此认证的县乡电子公文传输系统的部分模块。另外,本课题还软件实现了TPM的功能和TSS的部分接口函数调用,主要用来实现可信计算平台的认证授权。

关键词：可信计算密钥管理身份认证电子公文传输系统

来源：评论

学校读者我要写书评

暂无评论

可信计算平台自动化测试框架的研究

可信计算平台自动化测试框架的研究

引用

作者：常畅哈尔滨工业大学

学位级别：硕士

随着我国军工高新技术产业迅猛发展,软件工程迅速崛起,软件开发技术日新月异,软件产品验收变得更为重要,其中作为核心环节的第三方软件测试就极具决定性。因此,如何保障软件产品质量、保证软件测试过程安全可靠成为关键问题。软件质量... 详细信息

随着我国军工高新技术产业迅猛发展,软件工程迅速崛起,软件开发技术日新月异,软件产品验收变得更为重要,其中作为核心环节的第三方软件测试就极具决定性。因此,如何保障软件产品质量、保证软件测试过程安全可靠成为关键问题。软件质量很大程度上取决于软件测试,主要包括自动化测试和手工测试两类。在软件系统架构渐趋复杂、开发周期逐步缩短、开发技术日臻完善的情况下,软件自动化测试技术越来越重要。由于本次测试工具的研究主要适用范围为军用信息化产品领域,具有较高的安全需求。现行自动化测试工具通常具有商业化或开源特征,运行平台多为可以从任何软件源安装软件的开放平台,操作系统和硬件容易存在较多的安全漏洞,一些病毒和恶意代码通过U盘、光盘携带传输侵入。基于上面阐述的问题,采用目前市面已有的测试工具,不利于被测件的安全运行、测试数据的安全传输以及测试结果的安全存储。因此,本文从操作系统可信增强改造的角度着手研究,开展可信计算平台软件自动化测试框架构建。本文首先在国产操作系统适配改造和平台搭建方面,选择增加可信模块的方式,通过对可信模块的驱动适配、加密算法库和密码服务中间件适配,实现国产操作系统的可信增强,在用户访问控制、加密存储和传输方面进行定制化可信算法替换,对操作系统Open SSL算法库和传输协议进行改造,确保平台整体的安全性。其次在可信平台的基础上搭建自动化测试框架,详细分析了软件自动化测试框架的定义、框架语言的选择、测试脚本的编写、测试模块的调用。提出建立基于XML-RPC通讯的自动化测试,同时也论述了在工程实现过程中的技术难题,包括XML形式的数据存储和基于XML的RPC技术分析等。本文设计搭建基于可信计算平台的软件自动化测试框架,框架的设计解决了软件测试过程中容易出现的安全问题,同时框架增加了软件自动化测试结果的综合分析。用户可根据需求选择测试维度进行分析,即可形成测试报告。本文最后对软件测试的实现和测试结果进行了分析,验证了设计方案的可行性。该方案能够形成定制化产品,但对于测试覆盖的全面性和灵活性方面仍有待进一步研究。

关键词：可信计算自动化测试测试脚本测试框架

来源：评论

学校读者我要写书评

暂无评论

可信计算在物联网安全中的应用

可信计算在物联网安全中的应用

引用

作者：周韫艺重庆邮电大学

学位级别：硕士

物联网的飞速发展使得物联网所面临的安全问题日益引起人们的重视。物联网技术是传感技术，互联网，计算机，无线传感网络等多种相关技术的交融与扩展。然而物联网结构更加复杂，面临的安全问题也更加多样化，传统的网络防护措施并不足... 详细信息

物联网的飞速发展使得物联网所面临的安全问题日益引起人们的重视。物联网技术是传感技术，互联网，计算机，无线传感网络等多种相关技术的交融与扩展。然而物联网结构更加复杂，面临的安全问题也更加多样化，传统的网络防护措施并不足以提供良好的安全保证。可信计算是近十多年来兴起的一项新的安全技术，与传统安全策略不同的是，可信计算是一种主动型防御策略，它通过在计算机系统中引入第三方信任基TPM作为可信根，采用建立信任链的方式将信任边界从可信根扩展到整个计算机系统内核或者更远，从而保证系统处于可信任状态。将可信计算引入到物联网安全领域中，可以通过扩展信任链的的方式，使物联网成为可信的物联网。\n 文章分析了可信计算的研究现状，总结了物联网各个层次所面临的安全问题，以及可信计算在各个层次解决安全问题的方案与应用前景。并且针对可信计算在物联网感知层的应用，提出了一种基于可信计算的RFID安全协议，在该协议中，给出在服务器与阅读器之间，通过交换可信报告的方式，建立一个可信环境，然后由阅读器将信任链扩展到感知端，使得整个RFID系统成为一个可信的系统。最后，针对该协议中存在的不足，通过仿真测试，改进了信任度的度量方法，使得该协议可以使用于更加开放的RFID系统。

关键词：物联网可信计算 RFID安全协议信任链仿真测试

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的PIR

引用

计算机工程 2006年第24期32卷 141-143页

作者：高利源倪佑生上海交通大学电子信息与电气工程学院上海200030

介绍了私有信息获取和可信计算的概念,由此引出了基于可信计算PIR的概念并列举了几种现有模型及其性能,并为进一步提高PIR的性能提出了一种新的模型,该模型可以把安全处理器(SC)读写数据库的时间复杂度从O(N3/2)降低到O(cN),其中c是大于... 详细信息

介绍了私有信息获取和可信计算的概念,由此引出了基于可信计算PIR的概念并列举了几种现有模型及其性能,并为进一步提高PIR的性能提出了一种新的模型,该模型可以把安全处理器(SC)读写数据库的时间复杂度从O(N3/2)降低到O(cN),其中c是大于1的常数。

关键词：私有信息获取可信计算安全处理器

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的保密和完整性统一安全策略

引用

计算机工程与应用 2006年第10期42卷 15-18页

作者：黄强沈昌祥陈幼雷方艳湘海军工程大学电子系武汉430072 海军计算技术研究所北京100841 武汉大学计算机学院武汉430072 南开大学信息科学技术学院天津300071

为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特... 详细信息

为解决在高安全等级操作系统应用的保密性/完整性统一多级访问控制模型可用性差问题及增强其安全性,为系统引入可信计算(TCPA)技术并指出它对安全机制的增强作用。对可信计算平台环境下保密性/完整性统一的访问控制模型中可信主体的特性进行描述,给出具体安全策略。它将可信主体纳入访问控制模型,有助于划分可信主体并能够限制其权限。

关键词：可信计算可信主体 BLP模型 BIBA模型

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：