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

电子科技大学学报 2012年第5期41卷 748-753页

作者：马强马建国邢玲中国工程物理研究院电子工程研究所四川绵阳621900 西南科技大学信息工程学院四川绵阳621010

为了保证视频内容被合法用户接收,且接收到的视频内容没有受到帧丢弃、帧重组等恶意攻击,对接收到的视频内容安全信息进行远程取证。提出了基于可信平台模块TPM的视频安全远程取证,对该远程取证的结构和过程进行了分析。为防止中间人伪... 详细信息

为了保证视频内容被合法用户接收,且接收到的视频内容没有受到帧丢弃、帧重组等恶意攻击,对接收到的视频内容安全信息进行远程取证。提出了基于可信平台模块TPM的视频安全远程取证,对该远程取证的结构和过程进行了分析。为防止中间人伪造远程取证响应,提出了基于Fourier-Mellin的视频内容哈希算法,采用TPM对视频帧的特征进行认证;同时为提高远程取证的效率,提出了用于视频安全远程取证下的可区分粒度的取证模式,分析了如何能够有效地在粒度下视频序列中寻找不可信视频帧。通过实验证明了该视频哈希算法的有效性,并验证了可区分粒度取证模式的特点。

关键词：远程取证可信计算可信计算模块视频哈希视频安全

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的动态完整性度量架构

引用

电子与信息学报 2010年第4期32卷 875-879页

作者：刘孜文冯登国中国科学技术大学电子工程与信息科学系合肥230027 信息安全国家重点实验室中国科学院软件研究所北京100190

该文提出一种基于可信计算的操作系统动态度量架构(DIMA),帮助管理员动态地检查系统中进程和模块的完整性。相对于以往的各种操作系统度量架构,该架构能按需对系统中活动的进程或模块进行动态实时的完整性度量与监控,基本解决了其他架... 详细信息

该文提出一种基于可信计算的操作系统动态度量架构(DIMA),帮助管理员动态地检查系统中进程和模块的完整性。相对于以往的各种操作系统度量架构,该架构能按需对系统中活动的进程或模块进行动态实时的完整性度量与监控,基本解决了其他架构难以避免的TOC-TOU问题,特别是针对某些直接对运行中的进程的攻击有很好的效果。另外,DIMA实现了对对象细粒度度量——由度量整个文件实体细分为度量代码、参数、堆栈等等。最后给出了基于Linux操作系统的动态度量原型实现,在实现中使用了基于可信平台模块(TPM)作为架构的信任源点,测试结果表明DIMA能够实现预定目标且有良好的性能。

关键词：可信计算模块完整性度量动态完整性度量架构(DIMA)

来源：评论

学校读者我要写书评

暂无评论

基于直接匿名认证的Card-not-Present支付系统

引用

北京邮电大学学报 2008年第4期31卷 90-93页

作者：刘明辉辛阳杨义先李忠献北京邮电大学网络与交换技术国家重点实验室北京100876

以使用Europay,MasterCard and Visa(EMV)卡的card-not-present(CNP)支付系统为研究对象,分析现有网上支付协议的优缺点;引入装载可信计算平台模块(TPM)的计算机模拟EMV卡和读写设备,设计了一个基于TPM直接匿名认证技术的网上支付系统,... 详细信息

以使用Europay,MasterCard and Visa(EMV)卡的card-not-present(CNP)支付系统为研究对象,分析现有网上支付协议的优缺点;引入装载可信计算平台模块(TPM)的计算机模拟EMV卡和读写设备,设计了一个基于TPM直接匿名认证技术的网上支付系统,解决了CNP支付面临的需要外接读写设备、缺乏可信通信信道等问题.

关键词： card-not-present支付支付安全可信计算模块直接匿名认证

来源：评论

学校读者我要写书评

暂无评论

基于可信计算的移动平台设计方案

引用

东北大学学报（自然科学版） 2008年第8期29卷 1096-1099页

作者：陈书义闻英友赵宏东北大学信息科学与工程学院辽宁沈阳110004

在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台... 详细信息

在深入研究现有可信移动平台设计方案和TCG移动可信模块相关技术的基础上,提出了带有移动可信模块的可信移动平台设计方案.平台采用基带处理器和应用处理器分离的结构,利用移动可信模块构建了以应用处理器为中心的可信区域,为移动平台提供受保护的计算和存储空间,提高了移动平台的安全性、灵活性和可靠性.分析了现有可信移动平台安全引导过程安全漏洞,提出了改进的安全引导过程,并通过谓词逻辑对改进的引导过程进行了正确性验证.

关键词：可信计算可信计算模块移动可信模块安全引导谓词逻辑

来源：评论

学校读者我要写书评

暂无评论

TPM接口命令标准符合性测试的设计与实现

引用

计算机工程 2009年第2期35卷 129-132页

作者：崔奇马楠刘贤刚中国电子技术标准化研究所信息技术研究中心北京100007 中国科学院软件研究所北京100080 中国科学院研究生院北京100080

标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案... 详细信息

标准符合性是衡量可信计算模块(TPM)芯片是否存在安全漏洞的重要因素。该文面向可信计算组织规范,给出一个针对TPM接口命令的标准符合性测试方案。运用有限状态机归纳测试集的方法实现了原型。对某款TPM芯片进行实测的结果表明,该方案是有效且切实可行的。

关键词：可信计算模块接口命令可信计算组织标准符合性测试有限状态机

来源：评论

学校读者我要写书评

暂无评论

基于UEFI的可信BIOS系统测试方案的设计与实现

基于UEFI的可信BIOS系统测试方案的设计与实现

引用

作者：涂晶华中科技大学

学位级别：硕士

UEFI BIOS是一个全新的预启动平台,具有规范化、模块化、C语言编写等优点,支持来自不同操作系统引导前的应用,承担起网络、管理、调试、配置等不同扩展的功能。随着BIOS芯片模块功能和容量地不断增加,UEFI BIOS平台的安全隐患也越来越多... 详细信息

UEFI BIOS是一个全新的预启动平台,具有规范化、模块化、C语言编写等优点,支持来自不同操作系统引导前的应用,承担起网络、管理、调试、配置等不同扩展的功能。随着BIOS芯片模块功能和容量地不断增加,UEFI BIOS平台的安全隐患也越来越多,相比其他组件模块,BIOS系统在可信计算机中的地位更加突出,如何利用测试工具和测试方法来验证BIOS的可信性将是UEFI BIOS领域的重点和热点。通过对UEFI框架和BIOS关键流程技术实现的学习,从关键硬件TPM芯片工作机制、可信算法的运用、软件实现几个方面梳理出了系统启动流程中各阶段安全性方案的实现原理。并针对系统中缺乏自身安全防护功能;刷新芯片机制易受到病毒的破坏或者被添加恶意危害安全系统的代码;在配置问题上存在安全问题被远程攻击者利用等隐患点,归纳出可信BIOS需要具有保护数据、验证身份、测量完整性以及存储报告方面的功能,利用测试技术策略结合BIOS在安全性方案实现的原理,设计并实现了可信BIOS的无网络状态下的Bit Locker功能验证、EFI文件完整性验证和网络状态下WHCK环境下可信BIOS功能验证、Bit Locker NKP功能验证等测试用例。依据测试用例在不同平台、不同操作系统、不同版本BIOS的组合下搭建测试环境,运用测试工具、软件、脚本命令等执行测试任务,通过手动和自动的测试形式,结合冒烟测试、本地化测试、黑盒测试、回归测试等测试方法,验证BIOS在各环境下的可信性,并对测试结果进行了分析。

关键词：统一可扩展固件接口可信基本输入输出系统测试可信计算模块

来源：评论

学校读者我要写书评

暂无评论

远程匿名证明协议的研究与实现

远程匿名证明协议的研究与实现

引用

作者：兰安娜北京交通大学

学位级别：硕士

伴随数字时代的到来,电子商务、电子政务、网络购物、网络社交等越来越多的应用在网络上广泛展开,计算机与网络已渗透到社会的各个领域,越来越深入我们的生活,并成为普通民众日常生活中的重要组成部分。大数据时代的到来似乎将为人类带... 详细信息

伴随数字时代的到来,电子商务、电子政务、网络购物、网络社交等越来越多的应用在网络上广泛展开,计算机与网络已渗透到社会的各个领域,越来越深入我们的生活,并成为普通民众日常生活中的重要组成部分。大数据时代的到来似乎将为人类带来更多的便捷,但是大数据对网络隐私的负面影响逐渐引起了更多的人们思考。可信计算(Trusted Computing,TC)技术是由可信计算组织(Trusted Computing Group, TCG)提出,以确保计算机的行为像人们期望的那样的安全可靠。远程证明是TCG标准中的一个主要功能,它提供了两个交互双方之间的完整性配置的证据。在TCG标准v1.2中提出了一种匿名认证协议来保护用户隐私,被称为直接匿名认证(Direct Anonymous Attestation, DAA)。该直接匿名证明方案一方面容易受到伪装攻击,另一方面不易于在现有的网络协议架构中实际部署实施。本文全面分析了可信计算在隐私保护上设计的直接匿名证明方案的安全性,重点解决直接匿名证明存在的问题,提出了一种在运行性能方面与安全性方面上有一定优势的解决方案--基于直接匿名证明协议和安全传输层协议(Transport Layer Security, TLS)的远程匿名证明协议。在可信平台模块(Trusted Platform Module, TPM)的基础上,将身份匿名证明,平台完整性验证和密钥交换协议相结合,在交互双端之间构建出一条能够匿名认证身份与验证平台完整性的可信信道。改进方案满足以下七个安全需求：匿名性、不可伪造性、不可克隆性和用户可控连接性、前向安全性、抵抗重放攻击性和抵抗伪装攻击性。设计的协议兼容扩展的TLS协议架构,便于部署。另外协议支持椭圆曲线ECC算法,运输速度快,存储空间小,具有更高的使用性能。在协议安全性分析方面,本文在Dolev-Yao模型下进行理论分析,使用高级协议规范语言(High-Level Protocol Specification Language, HLPSL)对设计的协议进行建模,在SPAN模型检测工具的帮助下,模拟协议交互流程,自动地检测可能存在的攻击路径,分析协议设计方案的安全性。最后利用开源算法库OpenSSL在Linux环境下对设计方案模拟实现,在银联迷你付的支付环境下,适应性地将新的远程匿名证明协议应用到其中。

关键词：可信计算可信计算模块远程证明直接匿名证明传输层安全协议椭圆曲线算法高级协议规范语言

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统程序完整性验证技术研究与实现

嵌入式系统程序完整性验证技术研究与实现

引用

作者：黄华强华南理工大学

学位级别：硕士

随着计算机技术的不断发展,嵌入式系统不断地渗透到人们生活中的每个角落,由于嵌入式系统的便携性等特点,越来越多的人也把自身比较重要的信息都存储到嵌入式设备上面,如把身份证号码,银行卡帐号敏感信息记录到智能手机,PDA,掌上电脑中... 详细信息

随着计算机技术的不断发展,嵌入式系统不断地渗透到人们生活中的每个角落,由于嵌入式系统的便携性等特点,越来越多的人也把自身比较重要的信息都存储到嵌入式设备上面,如把身份证号码,银行卡帐号敏感信息记录到智能手机,PDA,掌上电脑中。然而对于现在大多数的嵌入式设备都是裸露在外,极少数的系统有自身的防御措施,不法分子可以很轻易地盗取设备上的敏感信息,或者往系统中注入恶意软件窃听用户的通信,或者伪造嵌入式设备而不被察觉,因此嵌入式系统的安全性受到了极大的挑战, 现在成熟的安全性策略都集中于PC机的防护,操作系统的应用层有杀毒软件和防火墙,硬件层有安全电脑保护机制,整一套安全系统保护又有可信协议机制保护。然而这些成熟的技术不能很好地移植到嵌入式系统中,嵌入式系统必须很好地考虑价格,功耗,资源和通用。嵌入式系统必须拥有自身的安全保护机制。目前已有几种对嵌入式系统安全的保护措施。最典型的就是ARM推出的安全处理器TrustZone,它在一个芯片中集成了两个处理器,一个用于处理普通数据,一个用于处理安全信息。但是安全处理器品种单一,价格也昂贵,不能满足嵌入式系统的低价格和通用性等特点。另一种保护措施就是把可信计算移植到嵌入式系统中,可信计算链的安全性是基于可信根的基础上,通过层级链式保护,实现了整个系统的安全,然而在嵌入式系统中,可信计算的可信根却不能确保安全,恶意者能很容易地往用户手机中注入恶意代码而不被发现。本论文正是基于可信计算协议的基础上,设计了一套保障可信根的安全的嵌入式系统,即Flash保护嵌入式系统(Flash Guard Embedded System, FGES)。该系统利用了FPGA的硬件编程的特点实现了高性能的可信根的安全机制,并且不改变以往嵌入式系统结构,很好地满足了嵌入式系统通用性的特点,基于可信根的安全的可信计算协议能很好地保证嵌入式系统的安全。本文共有七个部分,开篇点出了嵌入式系统安全的相关背景,第二章阐述了FGES的整体结构图。第三章给出了FGES的硬件结构。第四章重点给出了FGES核心模块FPGA的整体和各个部件的设计。第五章和第六章介绍了TCM和uclinx的开发。第七章阐述了FGES安全分析。最后一章给出了FGES的测试。

关键词：嵌入式安全可信计算模块 FPGA设计

来源：评论

学校读者我要写书评

暂无评论

可信计算中远程证明方法的研究

引用

微计算机信息 2008年第12期24卷 54-56页

作者：张强朱丽娜赵佳北京交通大学计算机与信息技术学院北京100044 北京市公安局海淀区分局北京100080

可信计算是信息安全领域的研究热点,而远程证明方法又是可信计算研究中的难点和关键。远程证明就是发出证明请求的一方确认远程平台的身份和平台状态配置信息的过程。本文研究了远程证明的意义和方法,将抽象的远程证明模型分为四类,并... 详细信息

可信计算是信息安全领域的研究热点,而远程证明方法又是可信计算研究中的难点和关键。远程证明就是发出证明请求的一方确认远程平台的身份和平台状态配置信息的过程。本文研究了远程证明的意义和方法,将抽象的远程证明模型分为四类,并分析了现在模型存在的问题和可以改进的方法,其实现思路对于提高可信计算中远程证明的效率提供了很好的参考价值。

关键词：可信计算远程证明可信计算模块可信第三方

来源：评论

学校读者我要写书评

暂无评论

基于扩展ROM的信任根设备设计与实现

引用

计算机工程与设计 2012年第6期33卷 2178-2181,2276页

作者：鲁青远郝福珍牛峰华北计算技术研究所北京100083

针对目前仍在大量使用的PC机上没有可信模块芯片,无法部署可信安全机制的现状,提出了基于扩展ROM的信任根设备。该设备将国产可信模块芯片TCM与PCI扩展ROM部署在同一块PCI板卡上,以BIOS插件的形式,在扩展ROM中完成对BIOS和OS Loader的... 详细信息

针对目前仍在大量使用的PC机上没有可信模块芯片,无法部署可信安全机制的现状,提出了基于扩展ROM的信任根设备。该设备将国产可信模块芯片TCM与PCI扩展ROM部署在同一块PCI板卡上,以BIOS插件的形式,在扩展ROM中完成对BIOS和OS Loader的完整性认证。在分析了PCI/PNP扩展ROM机制、BIOS的引导流程、哈希值软硬件相结合的二级计算方式等的基础上,设计和实现了信任根设备,为可信计算技术在传统计算机上的部署提供了一种新的技术途径。

关键词：可信计算核心可信测量根信任链可信计算模块扩展只读存储器基本输入输出系统外围组件扩展接口/即插即用

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：