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

计算机工程 2006年第9期32卷 51-53页

作者：方艳湘黄涛南开大学信息科学技术学院天津300071 解放军信息工程大学电子技术学院郑州450052

可信计算组织(TCG)提出了可信计算规范,其主要思想就是通过度量和保障组成平台的各组件的完整性来保证平台及应用的安全。启动过程是操作系统的基础,因此实施可信启动对操作系统意义重大。基于Linux启动的现实条件,结合TCG规范中可信度... 详细信息

可信计算组织(TCG)提出了可信计算规范,其主要思想就是通过度量和保障组成平台的各组件的完整性来保证平台及应用的安全。启动过程是操作系统的基础,因此实施可信启动对操作系统意义重大。基于Linux启动的现实条件,结合TCG规范中可信度量和可信链的思想,利用TPM提供的可信计算和保护存储功能,设计了Linux可信启动过程TSPL,并实现了原型。设计中充分考虑到启动过程的复杂性和度量数据的多样性,不仅度量了程序代码,还对影响执行程序行为的配置文件和环境数据进行了度量。

关键词：可信计算组织 TPM 信任根信任链可信引导

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种通过应用程序验证TPM标准符合性的方法(英文)

引用

中国科学院研究生院学报 2008年第5期25卷 649-656页

作者：崔奇石文昌中国科学院研究生院

安全涉及系统保护与策略符合性两层意义.目前TCG尽管已经发布了可信计算的相关标准,但是缺乏标准符合性验证的规范.将一种验证TPM命令标准符合性的机制引入到可信计算应用程序之中,在TPM执行功能之前检验其相关命令的标准一致性;同时,... 详细信息

安全涉及系统保护与策略符合性两层意义.目前TCG尽管已经发布了可信计算的相关标准,但是缺乏标准符合性验证的规范.将一种验证TPM命令标准符合性的机制引入到可信计算应用程序之中,在TPM执行功能之前检验其相关命令的标准一致性;同时,还进一步讨论了标准符合链的思想,通过确保每个组件的标准符合性来加强整个计算平台的安全性.

关键词：可信计算组织可信平台模块标准符合性测试标准符合链

来源：评论

学校读者我要写书评

暂无评论

基于可信计算平台的自动信任协商

引用

计算机工程与设计 2007年第14期28卷 3321-3323,3327页

作者：周靖张红旗耿延军信息工程大学电子技术学院信息安全系

可信计算平台的应用保证了终端的可信性,为网络安全问题的解决和可信网络的构建提供了必要的安全支持。网络安全的首要问题是信任关系的建立,自动信任协商是解决该问题的一种有效的方法。在介绍了可信计算平台的基本组成、自动信任协商... 详细信息

可信计算平台的应用保证了终端的可信性,为网络安全问题的解决和可信网络的构建提供了必要的安全支持。网络安全的首要问题是信任关系的建立,自动信任协商是解决该问题的一种有效的方法。在介绍了可信计算平台的基本组成、自动信任协商的概念之后给出了一种基于可信计算平台的信任协商模型,阐述了可信计算平台为信任协商提供的安全支持并探讨了自动信任协商中的若干关键问题。最后,给出了一个基于可信计算平台的信任协商的示例。

关键词：可信计算可信计算组织可信平台模块信任关系自动信任协商可信网络

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的语义远程认证研究

基于虚拟机的语义远程认证研究

引用

作者：辛卫红太原理工大学

学位级别：硕士

随着全球网络化和信息化的发展，计算机网络已经深入到社会生活的各个方面，包括政治、经济、社会、教育和军事等几乎所有领域的各种业务流程之中。与此同时，政府机构、企事业单位、各种组织以及个人对计算机和网络的依赖也变得越来越... 详细信息

随着全球网络化和信息化的发展，计算机网络已经深入到社会生活的各个方面，包括政治、经济、社会、教育和军事等几乎所有领域的各种业务流程之中。与此同时，政府机构、企事业单位、各种组织以及个人对计算机和网络的依赖也变得越来越强。但随之而来的问题是网络环境日益复杂，安全问题也变得日益突出。病毒、木马和黑客的攻击使我们认识到现有计算机网络系统是十分脆弱的，而且这种脆弱性可能造成的损失也是不可估量的。\n 然而传统的网络安全的思想主要是以被动防范为主，通过防火墙、入侵检测系统、虚拟专用网络这些设备，在受保护网络的周围建起高墙和栅栏，但结果却是效率低下，防不胜防。要做到网络安全环境的真正可信可控，必须从信息安全的源头着手，内外共防来构造安全的网络环境。\n 认证是建立网络安全系统必不可少的基本组成部分，它是网络安全的基础。在安全的网络通信中，涉及的通信各方必须通过某种形式的认证机制来证明对方的身份，验证用户的身份与所宣称的是否一致，然后才能实现对于不同用户的访问控制和记录。认证是其它安全服务的基础。\n 然而当前的认证技术并不能解决全部问题。因为它们不关心被认证者本身的安全可信状态，无法认证网络请求者是否已经被攻击了，所以有可能给受保护的网络带来威胁。因此，TCG(Trusted Computing Group，可信计算组织)提出了可信计算的概念，这是一种新的计算平台，在软硬件上都做出了相应的规定，其目标是在整个计算设施中建立起一个比较完善的验证体系，来提升整个计算体系的安全性。远程认证是可信计算的核心技术之一。远程认证使得用户或远端实体可以检测到该用户的计算机的变化，这样可以避免向不安全或安全受损的计算机发送私有信息或重要的命令。在这个验证体系中，确保每个端点机的安全之后，不可避免的要在端点机之间进行网络连接以便完成网络行为，此时便需要使用可信计算平台中的远程认证。\n 然而当前的远程认证技术基本上都是静态的、且只进行一次性的认证。同时在认证过程中仅仅只是针对身份进行验证，在进行身份验证之后，便不再进行其管理，所以这种认证是基于信任的而不是基于行为的。\n 本文在研究了传统远程认证所存在的问题的基础上,设计出了一个基于客户/服务器模式的认证模型。在此模型中的认证技术并不是静态的，也不是仅仅在初次连接时认证一次，而是进行持续的、动态的认证，而且它还对客户端的各个方面都进行安全性的评估，还时刻监视端点的行为。在设计此模型中，为了实现其通用的特性，采用当前最流行的独立于各种操作系统的Java虚拟机作为平台，实现了一种与平台无关的远程认证方法称之为基于虚拟机的语义远程认证。

关键词：虚拟机语义远程认证网络安全可信计算组织

来源：评论

学校读者我要写书评

暂无评论

基于软件源代码的远程证实架构的设计与实现

基于软件源代码的远程证实架构的设计与实现

引用

作者：阮安邦北京大学

学位级别：硕士

可信计算组织(TCG)提出的基于二进制码的远程证实(Binary-basedAttestation, BA)方法可以使应用程序具备如实确认远程系统配置信息的能力。然而，BA仅支持证实某些特定的、由可信第三方发布的二进制码-主要包括软件供应商为某一版本的... 详细信息

可信计算组织(TCG)提出的基于二进制码的远程证实(Binary-basedAttestation, BA)方法可以使应用程序具备如实确认远程系统配置信息的能力。然而，BA仅支持证实某些特定的、由可信第三方发布的二进制码-主要包括软件供应商为某一版本的软件发布的二进制码。本文提出一种基于软件源代码的远程证实架构( Source-Code Oriented Attestation, SCOA)，使得客户自主编译构建的应用程序可以在TCG证实体系中验证。在SCOA方法中，安全属性与应用程序的源码而非二进制可执行文件绑定。利用本文提出的可信构建系统(Trusted Building System， TBS)所生成的一条记录编译过程的证据链，SCOA框架中的远程证实方能够判定与之交互的二进制码是否编译自某一组特定的源代码，并利用颁发给该源代码的安全属性证书，判定二进制码的安全属性。本文进一步提出了5种可行的TBS设计方案，并分析各自优缺点以及所适应的应用场景。随后，本文针对其中两种方案分别提出了具体的设计与实现。分别为基于BIND的TBS与基于UCONRA的TBS。前者通过对GCC编译工具集实施可信增强实现TBS，并与Gentoo Linux中的Portage系统相结合构建原型系统。后者首先提出了可信隔离环境(TIE)的概念，并设计了强制访问控制模型UCONRA以实现TIE基本语义，最后利用TIE动态可扩展的隔离性实现TBS。

关键词：软件源代码远程证实架构可信计算组织应用程序二进制码

来源：评论

学校读者我要写书评

暂无评论

基于TPM规范的HMAC/SHA-1 IP设计

基于TPM规范的HMAC/SHA-1 IP设计

引用

作者：赵宇上海交通大学

学位级别：硕士

本文针对可信计算平台模块(TPM)的设计规范,设计了一款针对TPM应用的单向散列函数消息验证码生成模块(HMAC/SHA-1 IP),并进行了预综合和FPGA验证。文章首先介绍了可信计算若干关键技术、TPM硬件结构以及HMAC、SHA-1算法。为了提高TPM对H... 详细信息

本文针对可信计算平台模块(TPM)的设计规范,设计了一款针对TPM应用的单向散列函数消息验证码生成模块(HMAC/SHA-1 IP),并进行了预综合和FPGA验证。文章首先介绍了可信计算若干关键技术、TPM硬件结构以及HMAC、SHA-1算法。为了提高TPM对HMAC和SHA-1的使用效率,我们针对TPM的规范制定了设计目标,提出了一种HMAC/SHA-1的优化实现方案。文章详细介绍了HMAC/SHA-1 IP的设计过程以及功能模块划分,并利用仿真环境对其进行了FPGA验证和功能验证。设计得到的HMAC/SHA-1 IP具有长度自动计算的功能,支持未知长度消息的压缩。另外,为了提高IP的工作速度,我们采用了4-2压缩器和具有优化结构的超前进位加法器技术,并对SHA-1的实现结构进行了优化调整,使得IP的工作速度得到了明显的提高,由最初的40MHz,提高到了现在的100MHz。

关键词：可信计算组织可信平台模块单向散列函数消息验证码

来源：评论

学校读者我要写书评

暂无评论

基于可信计算“秘技”构筑国家网络安全战略高地

引用

信息安全与通信保密 2015年第12期 30-35页

作者：沈昌祥李刚中国工程院

当前,网络空间已经成为继陆、海、空、天之后的第五大主权领域空间,是国际战略在军事领域的演进,对我国网络安全提出了严峻的挑战。习近平总书记指出,没有网络安全就没有国家安全,没有信息化就没有现代化。国际上,美国在网络空间安全上... 详细信息

当前,网络空间已经成为继陆、海、空、天之后的第五大主权领域空间,是国际战略在军事领域的演进,对我国网络安全提出了严峻的挑战。习近平总书记指出,没有网络安全就没有国家安全,没有信息化就没有现代化。国际上,美国在网络空间安全上占据绝对优势,美国依据其霸主地位制定规则,谋求优势来控制世界。这充分说明网络空间已经成为国际竞争博弈的新阵地,成为国家安全与发展的基石,保卫网络安全就是保卫主权安全、保卫国家

关键词：可信计算标准体系密码算法 TCG 密码方案网络安全可信计算组织

来源：评论

学校读者我要写书评

暂无评论

信息安全面临的新挑战和安全技术发展的新趋势

引用

信息网络安全 2008年第1期 11-12页

作者：曲成义国家信息化专家咨询委员会

电子威胁、内容威胁和物理威胁等引发的网络突发事件正在给世界的政治、经济、文化和社会带来巨大的冲击和损害。国家CNCERT/CC中心2006年度报告指出:我国网络信息安全威胁正在迅速增长,僵尸网络范围不断扩大。

关键词：可信计算组织跨域网络信息安全安全域僵尸网络 TCG 恶意代码

来源：评论

学校读者我要写书评

暂无评论

面向物联网的嵌入式安全

引用

中国电子商情(基础电子) 2017年第7期 39-41页

作者： Timo Grassmann 英飞凌科技股份公司

今后几年,随着数十亿台设备连接至网络,物联网(IoT)将对设备、基础设施和数据的安全性提出新的要求。仅靠软件措施往往无法提供充分保护。英飞凌科技推出的OPTIGA系列安全解决方案,是基于硬件的可灵活扩展的安全解决方案,适用于嵌入式系... 详细信息

今后几年,随着数十亿台设备连接至网络,物联网(IoT)将对设备、基础设施和数据的安全性提出新的要求。仅靠软件措施往往无法提供充分保护。英飞凌科技推出的OPTIGA系列安全解决方案,是基于硬件的可灵活扩展的安全解决方案,适用于嵌入式系统,可为组件及相关服务给予可靠保护。几个数字有助于阐明,在IoT环境中,数据安全的重要性与日俱增。据IDC的市场调查

关键词：物联网配件家族解决方案软件硬件零部件家系芯片安全控制器极限控制器 TPM 嵌入式系统计算机系统可信平台模块智能家居加密密钥可信计算组织制造商

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：