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

通信学报 2010年第1期31卷 59-64,72页

作者：陈小峰冯登国中国科学院软件研究所信息安全国家重点实验室北京100190

根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统。指出了AP授权协议存在的缺陷,并给出了具体... 详细信息

根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统。指出了AP授权协议存在的缺陷,并给出了具体的改进措施;同时验证可信密码模块初始化子系统状态的一致性。

关键词：可信计算平台可信密码模块模型检测

来源：评论

学校读者我要写书评

暂无评论

可信密码模块软件栈兼容方案设计

引用

武汉大学学报（信息科学版） 2010年第5期35卷 618-621页

作者：张兴黄宁玉祝璐信息工程大学电子技术学院郑州市商城东路12号450004 北京工业大学计算机学院可信计算实验室武汉大学计算机学院武汉市珞珈山430072

提出了可信密码模块软件栈的兼容性设计方案,采用软件工程中的策略模式,在软件栈TSS基础上内置兼容解释器,对应用和TCM的交互进行数据流解析以及数据结构和授权协议的转换,为上层应用提供统一的服务接口。该方案使得基于TPM开发的可信... 详细信息

提出了可信密码模块软件栈的兼容性设计方案,采用软件工程中的策略模式,在软件栈TSS基础上内置兼容解释器,对应用和TCM的交互进行数据流解析以及数据结构和授权协议的转换,为上层应用提供统一的服务接口。该方案使得基于TPM开发的可信应用不需修改或只需少量修改就可以应用于TCM。测试表明,可信密码模块软件栈完成了应用层调用可信功能的透明转换,实现了应用兼容。

关键词：可信平台模块可信密码模块兼容性软件栈策略模式

来源：评论

学校读者我要写书评

暂无评论

可信密码模块符合性测试方法与实施

引用

武汉大学学报（理学版） 2009年第1期55卷 31-34页

作者：李昊冯登国陈小峰信息安全国家重点实验室/中国科学院软件研究所北京100190

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分... 详细信息

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率,能够发现更多产品不符合标准带来的问题.

关键词：可信密码模块符合性测试扩展有限状态机模型等价类测试

来源：评论

学校读者我要写书评

暂无评论

可信密码模块的密钥服务兼容性研究与实现

引用

计算机科学 2010年第6期37卷 82-85页

作者：蒋敏慧黄宁玉祝璐北京工业大学计算机学院北京100124 武汉大学计算机学院武汉430079

可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件... 详细信息

可信密码模块TCM芯片提供了非对称算法ECC以及对称算法SMS4来支持密钥机制,它与国际可信计算组织TCG推出的可信平台模块TPM功能相同,但密码算法和密钥管理不同,导致了密钥功能可信应用的兼容性问题。分析两种芯片的密钥特点和可信软件栈的密钥管理方式,提出了可信软件栈TCG服务提供者层TSP与TCG核心服务层TCS的重构方案,以及基于密钥生成流程的兼容方案,以解决密钥服务兼容问题。

关键词：可信平台模块可信密码模块可信软件栈密钥管理兼容性

来源：评论

学校读者我要写书评

暂无评论

可信密码模块授权协议的研究和实现

可信密码模块授权协议的研究和实现

引用

作者：祝剑锋北京工业大学

学位级别：硕士

可信计算是信息安全领域的新技术,它从终端入手,从根本上解决信息系统的安全问题,它的三大主要功能是数据保护、身份证明和完整性度量、存储、报告。在可信计算中,用户对实体(如密钥)执行命令时都必须经过授权,授权的过程以授权数据为依... 详细信息

可信计算是信息安全领域的新技术,它从终端入手,从根本上解决信息系统的安全问题,它的三大主要功能是数据保护、身份证明和完整性度量、存储、报告。在可信计算中,用户对实体(如密钥)执行命令时都必须经过授权,授权的过程以授权数据为依据,通过授权协议来保证授权过程的保密性和安全性。可信计算组织TCG(Trusted Computing Group)在规范中定义了一套授权协议体系,如OIAP授权协议和OSAP授权协议,并已经在可信平台模块TPM(Trusted Platform Module)中实现,但是在实际应用中,这些授权协议存在着安全漏洞,留下了安全隐患,不能很好的保证整个授权过程的安全。可信密码模块TCM(Trusted Cryptographic Module)是可信计算的硬件模块,功能与TPM类似,只不过TCM是基于自主密码算法的实现。本文研究的主要内容是针对TCG规范中授权协议的安全漏洞,加以分析和改进,将OIAP协议和OSAP协议整合在一起形成OAAP协议。然后,将整合后的授权协议实现在可信密码模块TCM上。本文首先详细介绍了TPM规范中的授权协议机制,以及与授权协议相关的知识,如授权数据、命令验证过程、授权会话等;接着对现有授权协议进行了逻辑分析,包括协议在实现过程中的优点、漏洞等等,并在此基础上提出改进方案,设计出基于TCM平台的授权协议方案;最后通过整合本实验建立起来的可信密码相关模块,将其建设成为统一平台,并在此基础上编写代码测试改进后授权协议的可行性和安全性。本文通过对可信平台模块TPM和可信密码模块TCM的研究和仿真,能够很好的熟悉可信计算的三大基本功能,加深对理论知识的理解,同时提高了实践能力;通过对授权协议的分析和改进,不仅熟悉了可信计算中授权协议的安全机制,而且学会了很多分析和解决问题的方法。在今后的学习和工作中,要进一步加强授权协议理论知识的学习,完善授权协议机制,继续编写代码进行测试和实验,在保证协议安全和功能完整的基础上,进行性能和效率等方面的提升。

关键词：可信计算可信密码模块授权协议 OIAP OSAP

来源：评论

学校读者我要写书评

暂无评论

可信密码模块授权协议的研究和实现

可信密码模块授权协议的研究和实现

引用

作者：祝剑峰北京工业大学

学位级别：硕士

可信计算是信息安全领域的新技术，它从终端入手，从根本上解决信息系统的安全问题，它的三大主要功能是数据保护、身份证明和完整性度量、存储、报告。在可信计算中，用户对实体（如密钥）执行命令时都必须经过授权，授权的过程以授权... 详细信息

可信计算是信息安全领域的新技术，它从终端入手，从根本上解决信息系统的安全问题，它的三大主要功能是数据保护、身份证明和完整性度量、存储、报告。在可信计算中，用户对实体（如密钥）执行命令时都必须经过授权，授权的过程以授权数据为依据，通过授权协议来保证授权过程的保密性和安全性。\n 可信计算组织TCG(Trusted Computing Group)在规范中定义了一套授权协议体系，如OIAP授权协议和OSAP授权协议，并已经在可信平台模块TPM(Trusted Platform Module)中实现，但是在实际应用中，这些授权协议存在着安全漏洞，留下了安全隐患，不能很好的保证整个授权过程的安全。\n 可信密码模块TCM(Trusted Cryptographic Module)是可信计算的硬件模块，功能与TPM类似，只不过TCM是基于自主密码算法的实现。本文研究的主要内容是针对TCG规范中授权协议的安全漏洞，加以分析和改进，将OIAP协议和OSAP协议整合在一起形成OAAP协议。然后，将整合后的授权协议实现在可信密码模块TCM上。\n 本文首先详细介绍了TPM规范中的授权协议机制，以及与授权协议相关的知识，如授权数据、命令验证过程、授权会话等；接着对现有授权协议进行了逻辑分析，包括协议在实现过程中的优点、漏洞等等，并在此基础上提出改进方案，设计出基于TCM平台的授权协议方案；最后通过整合本实验建立起来的可信密码相关模块，将其建设成为统一平台，并在此基础上编写代码测试改进后授权协议的可行性和安全性。\n 本文通过对可信平台模块TPM和可信密码模块TCM的研究和仿真，能够很好的熟悉可信计算的三大基本功能，加深对理论知识的理解，同时提高了实践能力；通过对授权协议的分析和改进，不仅熟悉了可信计算中授权协议的安全机制，而且学会了很多分析和解决问题的方法。\n 在今后的学习和工作中，要进一步加强授权协议理论知识的学习，完善授权协议机制，继续编写代码进行测试和实验，在保证协议安全和功能完整的基础上，进行性能和效率等方面的提升。

关键词：可信计算信息安全可信密码模块授权协议 TCG规范 OAAP协议

来源：评论

学校读者我要写书评

暂无评论

一种可重构的可信密码模块模拟器实现方法

引用

武汉大学学报（理学版） 2022年第1期68卷 44-50页

作者：孟思琦胡俊马亮北京工业大学计算机学院北京100124 山东可信云信息技术研究院山东济南250098

可信密码模块是可信计算平台的信任源头。为可信密码模块开发模拟器对于可信计算教学、开发测试、工程验证都有重要意义。针对可信密码模块模拟器存在仅适用于特定标准、应用场景较为固定且不重视功能拓展的问题,本文提出了一种以模块... 详细信息

可信密码模块是可信计算平台的信任源头。为可信密码模块开发模拟器对于可信计算教学、开发测试、工程验证都有重要意义。针对可信密码模块模拟器存在仅适用于特定标准、应用场景较为固定且不重视功能拓展的问题,本文提出了一种以模块化、软件定义数据结构的方式实现可重构可信密码模块模拟器的方法,并基于该方法实现了基于Cube可信软件基框架的可信密码模块模拟器,通过对该模拟器重构实现对不同接口的兼容、对象监控功能以及虚拟可信密码模块场景的支持。本文提出的方法可以灵活地构建不同类型的模拟器,并为按需改造模拟器提供了便利。模拟器重构工作验证了本文的方法是可行的,且具有可重用、易拓展、易操作等优势。

关键词：可信计算可信密码模块模拟器可重构

来源：评论

学校读者我要写书评

暂无评论

vTCM:一种基于物理可信计算环境虚拟化的虚拟可信密码模块

引用

山东大学学报（理学版） 2019年第7期54卷 77-88页

作者：胡俊刁子朋北京工业大学信息学部计算机学院

虚拟机的信任问题是虚拟机安全的关键问题之一,可信密码模块作为计算机信任的源头,其在虚拟机上的应用也引起了越来越多的关注。提出了虚拟可信密码模块(virtual trusted cryptography module, vTCM)方案,该方案将现有可信密码模块(trus... 详细信息

虚拟机的信任问题是虚拟机安全的关键问题之一,可信密码模块作为计算机信任的源头,其在虚拟机上的应用也引起了越来越多的关注。提出了虚拟可信密码模块(virtual trusted cryptography module, vTCM)方案,该方案将现有可信密码模块(trusted cryptography module, TCM)方案扩展为可切换vTCM场景的vTCM物理环境来支持少量物理vTCM场景,通过vTCM场景的虚拟化调度,从而支持多个虚拟机的TCM访问,为每个虚拟机分配一个绑定的vTCM实例,并使这些实例可以轮流在物理vTCM场景中运行,以使vTCM的安全性分析可以借助TCM结论,增强vTCM的安全性。这一方案在vTCM的管理,包括vTCM迁移等操作上,也体现出了其优势。给出了该方案在KVM虚拟化平台下的实现方法,实现结果表明,该方案不但可行,并且对现有的虚拟机机制有良好的兼容性。

关键词：可信密码模块虚拟机可信可信迁移 KVM

来源：评论

学校读者我要写书评

暂无评论

基于可信密码模块的SoC可信启动框架模型

引用

计算机工程与科学 2019年第4期41卷 606-611页

作者：王希冀张功萱郭子恒南京理工大学计算机科学与工程学院江苏南京210094

为满足嵌入式终端对信息安全的要求,设计了基于可信密码模块的SoC可信启动框架。该框架的特点在于对引导程序U-boot做功能上的分割,且存储在不同的非易失性存储器中,并增设了通信模块,使之在操作系统启动之前就具有发送和接收文件的功... 详细信息

为满足嵌入式终端对信息安全的要求,设计了基于可信密码模块的SoC可信启动框架。该框架的特点在于对引导程序U-boot做功能上的分割,且存储在不同的非易失性存储器中,并增设了通信模块,使之在操作系统启动之前就具有发送和接收文件的功能。将引导程序的各部分与操作系统核心文件均作为可信实体,发送至可信密码模块进行完整性度量,若度量成功则可信密码模块返回下一阶段的启动信号并在其本地存储器中保存可信实体;若度量失败则禁止启动。实验结果表明,该框架是可行、有效的,可以满足现今嵌入式终端在信息安全方面的需要。

关键词：嵌入式终端系统级芯片可信密码模块非易失性存储器

来源：评论

学校读者我要写书评

暂无评论

一种基于可信密码模块的用户行为度量方法

引用

计算机工程 2017年第5期34卷 121-128页

作者：胡计鹏谭励杨明华张亚明北京工商大学计算机与信息工程学院北京100048 火箭军装备研究院第四研究所北京100094

为满足特定应用领域的高等级安全需要,基于国产基础软硬件平台,提出一种用户行为度量方法。通过USBKey双因素认证机制与可信密码模块认证授权相结合,实现用户身份的安全授权。根据不同用户创建用户行为控制链,完成指定用户、指定进程、... 详细信息

为满足特定应用领域的高等级安全需要,基于国产基础软硬件平台,提出一种用户行为度量方法。通过USBKey双因素认证机制与可信密码模块认证授权相结合,实现用户身份的安全授权。根据不同用户创建用户行为控制链,完成指定用户、指定进程、对指定系统资源进行操作的细粒度可信度量,从而实现根据用户行为对系统资源访问行为进行分层次、动态的访问控制。针对不同用户身份提供动态加、解密以保证高级别用户对系统资源操作的安全性。实验结果表明,该方法能够有效提高系统安全性。

关键词：可信计算可信度量系统可信密码模块信息安全用户行为信任

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：