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

北京交通大学学报 2009年第2期33卷 11-16页

作者：耿秀华韩臻金砺彭双和北京交通大学计算机与信息技术学院北京100044 太原师范学院计算机系太原030012

在基于角色的信任管理框架RT中,由于可以依赖实体的属性授权,所以它是一种适用于大规模、分布式环境,为陌生双方动态地建立信任关系的有效方法,但它在授权时只考虑了实体本身的属性,没有考虑实体所依赖的平台运行环境的可信性,而一个&qu... 详细信息

在基于角色的信任管理框架RT中,由于可以依赖实体的属性授权,所以它是一种适用于大规模、分布式环境,为陌生双方动态地建立信任关系的有效方法,但它在授权时只考虑了实体本身的属性,没有考虑实体所依赖的平台运行环境的可信性,而一个"不可信"的平台显然会对系统安全构成威胁,本文提出了一种搭建在可信计算平台之上的基于角色的信任管理系统RTMTCP,从证书、安全策略、一致性验证等方面具体阐述了如何将RT与可信计算平台有机地结合起来,从根本上提高信任管理系统的可信性、自主性和安全性,最后通过实例对RTMTCP的使用进行了具体说明.

关键词：信任管理可信计算平台证书基于角色的信任管理框架

来源：评论

学校读者我要写书评

暂无评论

基于标记变迁系统的可信计算平台信任链测试

引用

计算机学报 2009年第4期32卷 635-645页

作者：徐明迪张焕国严飞空天信息安全与可信计算教育部重点实验室武汉430072 武汉大学计算机学院武汉430079 武汉大学软件工程国家重点实验室武汉430072

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信... 详细信息

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.

关键词：可信计算平台信任链进程代数标记变迁系统一致性测试

来源：评论

学校读者我要写书评

暂无评论

可信计算平台中若干关键技术研究

可信计算平台中若干关键技术研究

引用

作者：宋成北京邮电大学

学位级别：博士

面临当前计算机网络和信息安全的严峻形势,大部分网络信息安全系统主要是由传统的防火墙、入侵检测和病毒防范等“老三样”被动的防御技术措施组成。防御的办法就是捕捉黑客攻击和病毒入侵的特征信息,但由于该特征信息往往是已发生过的... 详细信息

面临当前计算机网络和信息安全的严峻形势,大部分网络信息安全系统主要是由传统的防火墙、入侵检测和病毒防范等“老三样”被动的防御技术措施组成。防御的办法就是捕捉黑客攻击和病毒入侵的特征信息,但由于该特征信息往往是已发生过的滞后的信息,因而不能够准确科学地预测和判断未来的侵袭变化,更不能防止来自内部和操作层面上的“内患”发生,其结果往往是顾此失彼,防不胜防。为了有效地解决这些问题的根源,变被动防御为主动防御,近十多年来,无论是国内还是国外,无论是学术界还是企业界,可信计算技术一直是信息安全界研究的热点课题之一。目前可信计算技术的研究虽然取得了一些重要的成果,并且这些成果对信息系统安全的发展发挥了重要的作用,但是,由于可信计算技术的研究与实践仍处于发展阶段,还存在研究仍停留在工程技术层面、缺乏成熟理论模型支撑、体系结构不完整、应用操作复杂等问题。本文紧跟可信计算技术研究趋势,针对可信计算平台发展中所存在的若干关键问题展开研究。如何实现方便可靠的可信计算平台的安全存储,如何实现安全有效的可信计算平台远程完整性报告,如何实现高效低耗的可信计算平台直接匿名认证机制等一直是可信计算技术领域重要研究课题。本文从可信计算平台原理、密钥管理机制、远程完整性报告机制和直接匿名认证机制四个方面对可信计算平台进行了详细的研究并提出了新的解决方案。本论文的主要贡献如下： (1)对可信计算平台原理的研究为了对可信计算平台有一个全面的了解和认识以及对可信计算平台中的若干关键技术进行深入的研究,本文中,我们对可信计算平台的核心技术——可信平台模块的组件组成及其各个组件的功能进行综述和分析,对可信计算平台体系架构的层次结构及其各个层次的组成和功能进行了分析和研究,对可信计算平台三大功能原理(安全存储、证明机制及完整性度量、存储和报告)进行了研究和分析,同时列举和分析了可信计算平台封装功能的若干应用场景。 (2)对可信计算平台密钥管理机制的研究安全存储可信计算平台重要功能之一,密钥管理技术是安全存储核心技术之一。传统的可信计算平台密钥管理方案是基于RSA的公钥密码体制而设计的,该方法在装载密钥过程中,装载操作的次数跟装载目标对象的父密钥个数成正比,当密钥层次结构比较复杂的情况下,该方法效率较低。本文提出一种基于身份的可信计算平台密钥装载方案,该方法在装载过程中,装载操作的次数与密钥层次的复杂度无关,任何目标对象装载到TPM内部,装载操作的次数不超过两次。如此以来,该方案提高了装载效率,极大的方便了用户的操作,为可信计算安全存储功能的广泛应用起着一定的推动作用。 (3)对可信计算平台远程完整性报告机制的研究可信计算平台远程完整性报告是可信计算平台一个重要的功能之一。传统的方案中,远程实体验证终端发送来的完整性报告时,它仅仅判断接收的完整性报告值的安全性,而不能确定具体是哪一个平台发送过来的完整性报告。这样就可能会产生中间人攻击问题：远程实体不能判定与之通信的实体与完整性报告所对应的实体是否是同一个实体。本文提出一种安全加强的可信计算平台完整性报告协议,该协议把远程平台完整性认证协议的流程集成到了SSL/TLS握手协议之中,有效的保证了跟服务器通信的实体与完整性报告对应的实体是同一个实体,从而有效的解决了传统可信计算平台完整性报告的中间人攻击问题,进一步加强了远程认证的安全。 (4)对可信计算平台直接匿名认证机制的研究直接匿名认证(Direct Anonymous Attention, DAA)机制通过知识证明的方式向远程实体证明自身的身份,能够在远程平台认证中保护用户隐私。传统的方案计算要求严格、设计复杂、计算量大,对于计算性能较低的设备无法接受,从而阻碍了DAA方案的实施,进而阻碍可信计算技术的进一步普及,限制了其更广泛的应用。本文提出一个改进的基于双线性映射的,以q-SDH假设和DDH假设为安全基础的直接匿名认证方案,该方案需要更低的计算开销,不仅仅适合计算能力强大的PC设备,也适合低计算能力的智能设备(如手机),能够进一步缓解可信平台的计算瓶颈问题。综上所述,论文紧密围绕可信计算平台原理、可信计算平台的密钥管理机制、可信计算平台远程完整性报告机制和可信计算平台直接匿名认证机制等关键技术的研究展开工作,文中分析以及提出的方法和解决方案,对可信计算平台原理的研究和实践及信息安全的理论研究将有积极的意义。

关键词：可信计算平台可信平台模块密钥管理平台远程完整性报告直接匿名认证

来源：评论

学校读者我要写书评

暂无评论

可信计算平台管理中心的设计与实现

引用

微计算机信息 2007年第3期23卷 91-93页

作者：王飞刘毅解放军信息工程大学电子技术学院

针对能够提供可信的运行环境和服务的一种可信计算平台,文章设计并实现了可信计算平台的管理和维护程序—“管理中心”;并对管理中心的工作流程和实现进行了详细的阐述。

关键词：可信计算平台管理中心设计

来源：评论

学校读者我要写书评

暂无评论

可信计算平台的安全保证技术及应用研究

可信计算平台的安全保证技术及应用研究

引用

作者：冯聿梦北京工业大学

学位级别：博士

在信息技术和产业高速发展的背景下，危害信息安全的事件不断发生，堵漏洞、筑高墙、防外攻，实行“防、堵、卡”的传统作法往往捉襟见肘，无法抵御日益猖獗的各种进攻。人们逐渐认识到，大多数安全隐患来自于计算机终端，只有从芯片、... 详细信息

在信息技术和产业高速发展的背景下，危害信息安全的事件不断发生，堵漏洞、筑高墙、防外攻，实行“防、堵、卡”的传统作法往往捉襟见肘，无法抵御日益猖獗的各种进攻。人们逐渐认识到，大多数安全隐患来自于计算机终端，只有从芯片、主板、BIOS及操作系统做起，综合采取措施才能提高计算机系统的安全性，于是可信计算应运而生且方兴未艾。　　研究与实践表明，可信计算技术能有效地增强系统的安全性，但对于可信计算平台自身的安全保证研究却存在不足，目前大多数研究工作往往关注于个别方案的安全性增强，而对如何评估和分析整个平台的安全机制却殊少涉及。事实上，只有从整体上分析整个平台的安全性及相关风险，才能深刻了解哪些问题值得重点关注与研究，对于这些问题的改进应达成什么目标，从而做到有的放矢、防患于未然。另外，在研究可信计算理论和关键技术的同时应注意到，目前，对可信计算相关应用的研究尚欠深入，对于新的计算环境(如云计算、物联网等)，可信计算技术大有可为，能有效提高其安全性、隐私性和容错性。　　在明确当前可信计算平台安全需求的基础上，本文运用契合可信计算平台的形式化方法分析可信计算平台的安全机制，洞悉具体协议中的安全问题，追溯问题产生的根源，提出相应的改进对策，进而利用可信计算技术提高应用的安全性。较之以前的研究，本文致力于提供一套较为完整、有效和实用的解决方案，保证可信计算平台的自身安全。　　本文的主要工作及创新点如下：　　1.基于安全系统逻辑扩展模型，对可信计算平台的完整性度量及远程证明过程进行了简要的形式化分析，并由此明确平台自身安全的关键防护要点，如重置或崩溃时数据的完整性应加以保证，远程证明时应尽可能保护相关配置信息不被泄露等。此外，为进一步认清可信计算平台的安全状况。在可信计算平台测评的基础上引入了风险评估，文中分析了可信计算平台的风险指标，结合系统日志提供的受攻击状况，提出了基于多域贝叶斯网络的评估方法。　　2.针对TCG度量与证明方案中存在的隐私泄露、效率偏低和异常点难以定位等缺点，提出了基于动态Merkle树的可信启动及证明方法。文中阐述了动态Merkle树的原理及其作为可信平台度量和证明方法的优点，详细讨论了度量的细节和证明效率。通过实验证明，该方案较好地保护了本地验证方配置信息的隐私性，度量与证明方式灵活，效率较高，且便于在系统状态不正常时查找异常点。　　3.可信芯片中存有许多关键数据，在数据更新时，若发生掉电等故障，有可能出现由于写入不完全导致的关键数据错误，如果芯片中的数据被破坏后无法恢复，整个可信平台的安全性都会造成威胁。为此，本文中设计了一个关键数据的安全备份与恢复机制，保证可信平台控制模块在掉电等突发事件发生时能保持数据完整性，有助于提高芯片乃至整个平台的安全性和健壮性。　　4.以电子投票为例说明了加强可信计算平台自身安全保证的必要性，且在实际应用中可发挥重要作用。在以往的电子投票方案中，安全性成立往往基于以下两个难以满足的条件：投票人所使用的客户端是安全的、投票人与管理者之间存在匿名的或秘密的通讯信道。本文提出的方案中利用可信计算技术保障客户端安全性，减少匿名信道或秘密信道的使用，提高了电子选举的实用性，且能满足投票系统机密性、无收据性、公开可校验性等安全属性。与同类方案相比，该方案要求的通讯量较低，投票效率较高。

关键词：可信计算平台安全保证技术隐私保护数据备份恢复机制

来源：评论

学校读者我要写书评

暂无评论

可信计算平台的认证机制的设计

引用

现代电子技术 2016年第6期39卷 30-32,36页

作者：孙江辉杜程马龙西安邮电大学通信与信息工程学院陕西西安710061 西安邮电大学计算机学院陕西西安710061

为了使可信计算平台之间的身份能够安全并高效地验证,通过对可信计算平台和PKI技术的研究与分析,设计一种基于PKI技术的可信计算平台之间的相互验证的协议。该协议通过引入可信第三方CA,用可信第三方向相互认证的可信平台颁发AIK证书,... 详细信息

为了使可信计算平台之间的身份能够安全并高效地验证,通过对可信计算平台和PKI技术的研究与分析,设计一种基于PKI技术的可信计算平台之间的相互验证的协议。该协议通过引入可信第三方CA,用可信第三方向相互认证的可信平台颁发AIK证书,可信计算平台通过可信第三方验证对方AIK证书的真实性和AIK私钥加密AIK证书,验证平台的身份和完整性以及可信计算平台的状态。

关键词：可信计算平台公钥安全基础设施身份认证证书认证协议

来源：评论

学校读者我要写书评

暂无评论

可信计算平台动态测试系统的设计与实现

可信计算平台动态测试系统的设计与实现

引用

作者：姚伟平解放军信息工程大学

学位级别：硕士

可信计算软件栈(TCG Software Stack,TSS)和可信平台模块(Trusted Platform Module,TPM)作为可信计算技术中的软硬件核心,构成了可信计算平台的信任基础,能够有效提高信息系统的安全性。随着可信计算的发展,越来越多的厂商声称推出了符... 详细信息

可信计算软件栈(TCG Software Stack,TSS)和可信平台模块(Trusted Platform Module,TPM)作为可信计算技术中的软硬件核心,构成了可信计算平台的信任基础,能够有效提高信息系统的安全性。随着可信计算的发展,越来越多的厂商声称推出了符合规范的可信计算平台产品。鉴于可信计算平台的重要性,构建其测试系统成为亟待解决的问题。通过对现有可信计算平台组件测试方法的研究,课题提出以TSS作为测试入口,对TSS、TPM和信任链进行综合测试的方法,设计并实现了可信计算平台动态测试系统。系统主要由测试用例生成子系统、测试用例注入子系统和测试结果监测子系统三部分组成。本文的主要工作包括以下四点: 1.研究测试用例通用描述方法,根据规范和静态分析结果,生成参数的初始约束,根据数据生成规则得到初始测试用例集。 2.提出了基于分支轨迹存储的代码轨迹跟踪方法,实现对代码轨迹的跟踪。结合静态分析结果,完成动态轨迹数据的提取,实现轨迹数据的可视化和二进制代码覆盖率分析。提出了基于数据权重的污点属性标记方法,进一步细化指令和输入数据之间的关系。 3.提出了基于二分回溯查找的测试用例序列快速定界算法,能快速重现由测试用例序列触发的异常,并能精确定位触发异常的测试用例或测试用例子序列。 4.针对现有可信计算相关测试方案的不足,提出了对TSS、信任链和TPM进行综合测试的方案,给出了可信机制测试系统的总体框架设计,实现了一个测试系统原型。最后对两种可信计算平台展开了动态测试,发现了部分TSS功能实现与规范不一致性。另外还针对常用软件和自编程序进行了代码覆盖率测试。通过分析测试结果,证明该系统能够有效地发现可信计算平台组件中存在的功能差异。

关键词：可信计算平台可信平台模块可信软件栈测试用例生成动态测试代码覆盖率路径覆盖率

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

作者：徐日西安电子科技大学

学位级别：硕士

研究可信计算理论，应用可信计算技术，解决计算机安全问题，已成为当今信息安全领域理论和应用研究的热点。本文分析可信计算平台理论及其体系架构，其中可信平台模块和软件协议栈是可信计算平台的支撑基础，可信平台模块是可信核心模... 详细信息

研究可信计算理论，应用可信计算技术，解决计算机安全问题，已成为当今信息安全领域理论和应用研究的热点。本文分析可信计算平台理论及其体系架构，其中可信平台模块和软件协议栈是可信计算平台的支撑基础，可信平台模块是可信核心模块。在可信计算平台的功能机制中，完整性度量机制是主要的研究对象，它构建了可信计算平台的信任链，将可信性由信任根传递到整个可信计算平台，分析其中重要的完整性度量计算、存储和报告的实现流程。可信计算平台完整性度量机制的应用研究主要用于解决通信系统的安全问题。分析通信过程中通信双方存在的信任危机，比较远程证明模式，提出改进方案，由此，详细阐述基于完整性度量机制的远程证明协议。此外还分析了保密信息系统中数据流转代价和故障检测状况，提出改进方法，详细阐述基于完整性度量机制的信息系统故障快速检测协议。本文还通过研究基于LINUX操作系统的开源软件TPM模拟器，搭建测试部分完整性度量机制。

关键词：可信计算平台可信平台模块完整性度量远程证明

来源：评论

学校读者我要写书评

暂无评论

可信计算平台下属性证明协议的研究与应用

可信计算平台下属性证明协议的研究与应用

引用

作者：刘洋东北大学

学位级别：硕士

平台认证技术是信息安全的一个重要机制,因为传统的安全解决方案只有在底层计算平台,特别是操作系统是安全的情况下才能正常工作。TCG组织为可信平台认证提供的解决方案称作二进制证明,这是基于配置的证明方法,它在证明的过程中容易泄... 详细信息

平台认证技术是信息安全的一个重要机制,因为传统的安全解决方案只有在底层计算平台,特别是操作系统是安全的情况下才能正常工作。TCG组织为可信平台认证提供的解决方案称作二进制证明,这是基于配置的证明方法,它在证明的过程中容易泄露示证者平台的配置信息,而且验证的过程中大大增加的验证者的负担,为了解决这种情况,人们提出了基于属性的证明方案。本文首先结合属性证明的思想和组签名的特点,提出了一个具体的属性证明协议PBA-BW协议,协议主要是由初始化、加入、签名、验证和撤销查询5个阶段构成。该协议将计算操作安全高效的分配在TPM和主机之间,并且结合组签名的特点,增加了撤销查询过程,使属性证明协议更加完善。最后对提出的PBA-BW协议进行了安全性分析和性能比较,与其它属性证明协议相比,在满足相同安全需求的情况下,PBA-BW协议的签名长度明显较小,并且在加入、签名和验证阶段的计算代价也较小,减轻了示证者和验证者的计算负担。不过在撤销查询阶段的计算代价依赖CRL中被撤销的属性证书的个数k,当k很大时,可信第三方的计算负担会很重。为了解决PBA-BW协议在撤销查询阶段计算代价大的问题,本文又提出了通过另一种方法实现的属性证明协议,即PBA-BB协议。该协议基于BB+签名思想和零知识证明思想,通过构造知识签名的方式来实现。该协议解决了PBA-BW协议中撤销查询代价大的问题,并且与其他属性证明协议相比,在满足相同安全需求的情况下,PBA-BB协议的属性签名长度和计算代价都比较小。论文的最后将本文提的属性证明协议应用到SSL方案中,使改进后的方案在握手阶段可以认证客户端平台完整性,解决常见的客户端平台被恶意软件等入侵,冒充合法用户建立虚假会话连接的问题。并且在VMware-workstation-7.0.1.227600和SUSE11.2虚拟机下,结合TpmEmulator0.5.1模拟TPM芯片及openssl-0.9.8e进行实验,验证了具有属性证明的SSL方案的可行性。

关键词：可信计算平台属性证明组签名 BB+签名 SSL协议

来源：评论

学校读者我要写书评

暂无评论

可信计算平台安全体系及应用研究

引用

微计算机信息 2007年第3X期23卷 76-78页

作者：王飞刘毅解放军信息工程大学电子技术学院 101416北京解放军装备指挥技术学院 100036北京海军计算技术研究所

针对终端存在的诸多安全问题,可信计算可以从系统体系结构上对终端进行根本的安全防护。文章分析了一种可信计算平台的终端安全体系,并讨论了可信计算平台的可能应用模式,对终端的安全防护能够起到一定的指导意义。

关键词：可信计算平台终端安全可信链

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：