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

武汉大学学报（理学版） 2010年第2期56卷 129-132页

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中... 详细信息

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.

关键词：可信计算平台可信软件栈模型检测计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

基于混合加密的可信软件栈数据封装方案

引用

计算机工程 2012年第6期38卷 123-125页

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

可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能... 详细信息

可信计算的RSA密钥机制会制约运算速度。为此,提出一种基于混合加密的可信软件栈数据封装方案。介绍可信软件栈的结构以及密封过程和解封过程,改进可信密码模块功能函数。实验结果表明,该方案能减少加密时间,适用于较大数据量的密封,能在较小性能损失的情况下,保障用户数据安全。

关键词：可信计算数据封装混合加密可信软件栈平台状态寄存器

来源：评论

学校读者我要写书评

暂无评论

支持异构可信平台的可信软件栈研究

支持异构可信平台的可信软件栈研究

引用

作者：董玉娟北京工业大学

学位级别：硕士

随着信息技术的快速发展,信息安全问题变得目趋复杂与关键,传统的信息安全技术,如防火墙、入侵检测、病毒防范等技术已经不能很好的解决当前计算机系统所面临的安全威胁。可信计算的提出从一个新的角度来解决信息安全问题。而且可信计... 详细信息

随着信息技术的快速发展,信息安全问题变得目趋复杂与关键,传统的信息安全技术,如防火墙、入侵检测、病毒防范等技术已经不能很好的解决当前计算机系统所面临的安全威胁。可信计算的提出从一个新的角度来解决信息安全问题。而且可信计算在安全方面的优越性受到越来越多国内外计算机领域工作者的关注。与传统的安全技术不同,可信计算的思想是要从终端、从平台根源解决现有的安全问题,在计算机的硬件平台上嵌入一个安全芯片即可信平台模块,计算机系统中首先建立一个信任根,再建立一条信任链,一级测量认证一级,一级信任一级,把信任关系扩大到整个计算机系统,从而确保计算机系统的可信。\n 在可信计算中,可信平台模块(TPM)是可信计算技术的核心。可信平台需要可信平台模块的可信度量能力、可信存储能力和可信报告能力,从而向用户证实平台自身是可信的。国家密码管理局发布了《可信计算密码支撑平台功能与接口规范》,规范中提出了可信密码支撑平台,同时平台中的可信芯片称为“可信密码模块”TCM。其中,基于TCM的可信平台中的密码算法及杂凑算法与TCG规范中基于TPM的可信平台在密码算法、杂凑算法等方案上不同,同时采用了对称密码算法。密码算法和杂凑算法的改变,就需要考虑TCG规范下的可信平台与基于TCM的可信平台之间在应用上兼容性问题。\n 本文首先对可信计算的概念,可信计算平台的工作原理以及可信平台模块的结构做了分析与阐述。\n 尤其是对可信平台模块的密码算法与密码学协议做了详细的分析,这些研究分析工作是之后所有研究工作的基础。\n 本文重点研究分析了可信计算平台上TPM的支撑软件TSS,重点对TSP层与TCS层的功能与接口做了深入的研究与分析。通过对软件栈重构,构造一种支持TCM的软件栈,实现对两种异构可信平台的应用兼容。并在TPM与TCM的模拟器上运行软件栈,我们通过开发一些的可信应用例程,对开发出的软件栈进行了实验和测试,并在本章中展示了实验的结果。

关键词：可信平台可信软件栈工作原理

来源：评论

学校读者我要写书评

暂无评论

嵌入式系统可信软件栈自动化测试研究

引用

计算机与数字工程 2013年第2期41卷 315-317页

作者：姜忠龙 91404部队92分队

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在... 详细信息

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题。

关键词：嵌入式系统可信软件栈一致性测试

来源：评论

学校读者我要写书评

暂无评论

基于RT-Thread的可信软件栈的设计和实现

引用

电子设计工程 2024年第2期32卷 51-55页

作者：刘栋王东辉中国科学院大学声学研究所北京100089

针对基于Linux和TCG软件栈(Trusted computing group Software Stack,TSS)的复杂性问题,提出一种轻量级的可信软件栈。分析了TSS的基本结构与TSS在嵌入式系统的局限,总结出基于嵌入式系统的可信软件栈设计需求,设计出软件栈命令调用的... 详细信息

针对基于Linux和TCG软件栈(Trusted computing group Software Stack,TSS)的复杂性问题,提出一种轻量级的可信软件栈。分析了TSS的基本结构与TSS在嵌入式系统的局限,总结出基于嵌入式系统的可信软件栈设计需求,设计出软件栈命令调用的机制和软件栈的结构。此外,分析了TSS密钥管理缓存算法,在flash中定义一块密钥槽空间,方便密钥管理中直接访问,阐述密钥生成的逻辑过程,实现面向嵌入式系统的可信软件系统。经实验验证,该软件栈可以结合RT-Thread实时系统实现基本的可信计算功能。

关键词：可信软件栈密钥管理缓存算法 RT-Thread

来源：评论

学校读者我要写书评

暂无评论

基于Fuzzing技术的可信软件栈穿透性测试

引用

计算机与数字工程 2016年第3期44卷 506-509页

作者：李金亮高文静 91404部队93分队秦皇岛066001

利用Fuzzing技术对可信软件栈(TSS)进行软件代码脆弱性以及安全漏洞测试,通过故障注入、畸形数据构造以及异常行为捕获,发现了TSS软件代码中的安全缺陷,根据TSS的系统结构与具体机制,设计并实现了相关测试原型系统,对TSS软件产品进行了... 详细信息

利用Fuzzing技术对可信软件栈(TSS)进行软件代码脆弱性以及安全漏洞测试,通过故障注入、畸形数据构造以及异常行为捕获,发现了TSS软件代码中的安全缺陷,根据TSS的系统结构与具体机制,设计并实现了相关测试原型系统,对TSS软件产品进行了测试,实验结果表明:TSS软件产品并不完全符合可信规范的要求,TSS中的若干API功能函数中存在可被利用的安全漏洞。

关键词： Fuzzing技术可信软件栈穿透性测试

来源：评论

学校读者我要写书评

暂无评论

基于模型检测的可信软件栈测试

基于模型检测的可信软件栈测试

引用

2010年第四届中国可信计算与信息安全学术会议

作者：何凡张焕国严飞杨飏汪红孟学军武汉大学计算机学院湖北武汉430072 武汉理工大学计算机科学与技术学院湖北武汉430063 武汉大学计算机学院湖北武汉430072 武汉大学空天信息安全与可信计算教育部重点实验室湖北武汉430072 武汉大学计算机学院湖北武汉430072 湖北省政府采购中心湖北武汉430072 武汉大学网络中心湖北武汉430072

关键词：可信计算平台可信软件栈计算树逻辑一致性测试

来源：评论

学校读者我要写书评

暂无评论

一种可信软件栈的兼容性改进方案

一种可信软件栈的兼容性改进方案

引用

第三届可信计算与信息安全学术会议

作者：刘毅沈昌祥信息工程大学电子技术学院河南郑州450004

针对目前可信软件栈(TSS)规范的应用兼容性问题,提出了TSS命令改进方案,使之能够支持多种密码算法的可信平台模块.通过对TSS体系结构和组成的分析,重点描述了可信服务提供层(TSP)和可信核心服务层(TCS)的功能和接口特点,并以典型的可信... 详细信息

针对目前可信软件栈(TSS)规范的应用兼容性问题,提出了TSS命令改进方案,使之能够支持多种密码算法的可信平台模块.通过对TSS体系结构和组成的分析,重点描述了可信服务提供层(TSP)和可信核心服务层(TCS)的功能和接口特点,并以典型的可信平台模块(TPM)命令为例,通过句柄映射和函数输入输出参数的调整,增加TCS命令解释功能,改进TSS兼容性,使得TSS在不修改上层应用的情况下能兼容多种密码方案,达到应用兼容的目标.

关键词：可信平台模块可信软件栈兼容性 TSS命令改进密码算法

来源：评论

学校读者我要写书评

暂无评论

基于软TCM和可信软件栈的安卓系统及其可信认证系统与方法

基于软TCM和可信软件栈的安卓系统及其可信认证系统与方法

引用

作者：周福才易海高健 110819 辽宁省沈阳市和平区文化路3号巷11号

基于软TCM和可信软件栈的安卓系统及其可信认证系统与方法，属于安卓系统及安卓软件安全技术领域。包括建立在现有安卓系统的安卓内核上的软TCM、可信软件栈和软TCM驱动模块；软TCM与可信软件栈嵌入现有安卓系统的系统库；可信软件栈在... 详细信息

标准号: CN105718807A

基于软TCM和可信软件栈的安卓系统及其可信认证系统与方法，属于安卓系统及安卓软件安全技术领域。包括建立在现有安卓系统的安卓内核上的软TCM、可信软件栈和软TCM驱动模块；软TCM与可信软件栈嵌入现有安卓系统的系统库；可信软件栈在软TCM之上；软TCM驱动模块位于现有安卓系统的Linux内核层；可信认证系统包括该安卓系统启动的可信认证系统和安卓软件安装的可信认证系统；可信认证方法包括该安卓系统的启动可信认证过程和安卓软件安装的可信认证过程。本发明基于可信计算的思想来解决安卓操作系统的安全性的一体化解决方案，增加了对安卓终端完整性的检验，加强了系统底层的防护，确保安卓终端中的第三方软件也是安全可信的，从而使得安卓终端绝对安全。

关键词：安卓系统可信认证可信软件栈驱动模块软件安装终端第三方软件绝对安全可信计算软件安全系统底层系统库操作系统内核嵌入可信防护一体化检验安全

来源：评论

学校读者我要写书评

暂无评论

支持主动可信能力的计算机可信软件栈实现方法及系统

支持主动可信能力的计算机可信软件栈实现方法及系统

引用

作者：谭郁松董攀李小玲朱浩秦莹高珑黄辰林马俊丁滟廖湘科吴庆波 410073 湖南省长沙市开福区砚瓦池正街47号

本发明公开了一种支持主动可信能力的计算机可信软件栈实现方法及系统，本发明计算机可信软件栈实现方法的实施步骤包括：在可信平台控制模块TPCM中增加可信监控根RTV；在现有计算机可信软件栈中的各层分别扩展建立用于支持主动可信能... 详细信息

标准号: CN111414625B

本发明公开了一种支持主动可信能力的计算机可信软件栈实现方法及系统，本发明计算机可信软件栈实现方法的实施步骤包括：在可信平台控制模块TPCM中增加可信监控根RTV；在现有计算机可信软件栈中的各层分别扩展建立用于支持主动可信能力的功能模块，并通过最顶层的功能模块为应用程序提供主动可信能力的服务接口；在启动时从可信监控根RTV开始从下至上给每一个功能模块签发授权，使得从可信监控根RTV到应用程序之间建立可信链。本发明能够实现对系统和软件的主动可信监控，为可信3.0技术架构提供必要的可信软件栈支持，为软件提供标准和方便使用的可信平台控制模块接口。

关键词：可信可信软件栈可信平台控制模块监控计算机应用程序提供服务接口技术架构软件提供应用程序可信链启动时最顶层签发授权

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：