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

作者：羌卫中金海章康邹德清 430074 湖北省武汉市洪山区珞喻路1037号

本发明公开了一种缩减宿主型虚拟化软件可信计算基的方法，其特征在于，针对宿主操作系统(host OS)的特权代码，将host OS的功能通过“库”的形式在用户空间提供给上层应用使用，包括虚拟化软件和其他的应用程序；针对虚拟化软件的特权... 详细信息

标准号: CN105740044A

本发明公开了一种缩减宿主型虚拟化软件可信计算基的方法，其特征在于，针对宿主操作系统(host OS)的特权代码，将host OS的功能通过“库”的形式在用户空间提供给上层应用使用，包括虚拟化软件和其他的应用程序；针对虚拟化软件的特权代码，将虚拟化软件的特权代码降级分离；设置运行在内核空间(kernel space)的特权代码“minor OS”，用于完成和硬件资源必要的通信；设置非特权级用户空间的OS“libOS”，用于完成OS功能的用户层实现；设置在用户空间运行的虚拟化软件“hypervisor”；设置运行在内核空间的用来处理虚拟化软件请求的特权部分“minor hypervisor”。

关键词：虚拟化软件特权代码用户空间内核空间宿主宿主操作系统可信计算基上层应用应用程序硬件资源非特权用户层降级特权通信

来源：评论

学校读者我要写书评

暂无评论

可信计算平台可信计算基构建研究

引用

信息安全与通信保密 2012年第9期10卷 116-117页

作者：郑志蓉海军计算技术研究所北京100841

对基于PC构建的可信计算平台中可信计算基的构建方式进行了分析,指出通过逻辑方式构建的可信计算基存在被篡改和绕过的可能性,并提出了一种基于密码技术构建可信计算基的方法。该方法以可信平台模块为信任根,验证可信计算基的完整性,防... 详细信息

对基于PC构建的可信计算平台中可信计算基的构建方式进行了分析,指出通过逻辑方式构建的可信计算基存在被篡改和绕过的可能性,并提出了一种基于密码技术构建可信计算基的方法。该方法以可信平台模块为信任根,验证可信计算基的完整性,防止可信计算基被篡改;将系统中受控可执行程序执行解释部分加密存放,密钥存放在可信平台模块,程序的执行必须通过可信计算基,防止了可信计算基被绕过。通过分析其基本原理,验证了基于密码技术可有效构建具备完整性和唯一性的可信计算基。

关键词：可信计算平台可信计算基密码技术

来源：评论

学校读者我要写书评

暂无评论

基于硬件虚拟化的单向隔离执行模型

引用

软件学报 2012年第8期23卷 2207-2222页

作者：李小庆赵晓东曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive module,简称SSM)两部分.隔离执行器(SSMVisor)作为模型的核心部件,为... 详细信息

提出了一种基于硬件虚拟化技术的单向隔离执行模型.在该模型中,安全相关的应用程序可以根据自身需求分离成宿主进程(host process)和安全敏感模块(security sensitive module,简称SSM)两部分.隔离执行器(SSMVisor)作为模型的核心部件,为SSM提供了一个单向隔离的执行环境.既保证了安全性,又允许SSM以函数调用的方式与外部进行交互.安全应用程序的可信计算基(trusted computing base,简称TCB)仅由安全敏感模块和隔离执行器构成,不再包括应用程序中的安全无关模块和操作系统,有效地削减了TCB的规模.原型系统既保持了与原有操作系统环境的兼容性,又保证了实现的轻量级.实验结果表明,系统性能开销轻微,约为6.5%.

关键词：隔离执行硬件虚拟化安全敏感模块可信计算基

来源：评论

学校读者我要写书评

暂无评论

SmartMK:基于TPM的可信多内核操作系统架构

引用

武汉大学学报（信息科学版） 2008年第10期33卷 1034-1037页

作者：陈文智黄炜浙江大学计算机学院杭州市浙大路38号310027

提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用。基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境。在SmartMK架构上提出了分层次的强制访问控制方... 详细信息

提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用。基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境。在SmartMK架构上提出了分层次的强制访问控制方模型,进一步降低复杂环境中的访问控制复杂度。性能测试和实际应用都表明,SmartMK能够有效加强系统的安全性,同时很好地保证了系统的运行效率。

关键词： TPM 多内核可信操作系统分层次强制访问控制可信计算基

来源：评论

学校读者我要写书评

暂无评论

信息安全评估研究

引用

电子科技大学学报 2005年第3期34卷 373-376页

作者：陈雷霆文立玉李志刚电子科技大学计算机科学与工程学院成都610054 河北省教育考试院石家庄050091

介绍了信息安全评估的定义、标准及其发展,重点讨论了可信计算机系统评估准则中机构化保护级评估标准安全策略中的自主访问控制、客体重用、标记(标记完整性和标记信息的输出)和强制访问控制;责任中的身份鉴别和审计;保证中的操作保证(... 详细信息

介绍了信息安全评估的定义、标准及其发展,重点讨论了可信计算机系统评估准则中机构化保护级评估标准安全策略中的自主访问控制、客体重用、标记(标记完整性和标记信息的输出)和强制访问控制;责任中的身份鉴别和审计;保证中的操作保证(系统结构、系统完整性、隐蔽信道分析和可信设施管理)和生命周期保障(安全测试、设计说明书和检验以及配置管理);文档中的安全特征用户指南、可信设施指南、测试文档和设计文档。最后,将机构化保护级与信息技术安全评估通用准则中的测试级5进行了比较分析。

关键词：信息安全评估可信计算机系统评估准则可信计算基

来源：评论

学校读者我要写书评

暂无评论

基于信息流模型的TCB完整性策略分析方法与工具

引用

武汉大学学报（理学版） 2013年第5期59卷 431-437页

作者：胡伟姬东耀中国科学院信息工程研究所信息安全国家重点实验室北京100093

TCB(trusted computing base)完整性保护对于计算机系统安全具有十分重要的意义,目前的静态度量方法并不完善,而动态度量方法还很不成熟,因而提出一种基于策略的分析方法来分析系统TCB和域TCB的完整性.这一方法将系统策略文件中的描述... 详细信息

TCB(trusted computing base)完整性保护对于计算机系统安全具有十分重要的意义,目前的静态度量方法并不完善,而动态度量方法还很不成熟,因而提出一种基于策略的分析方法来分析系统TCB和域TCB的完整性.这一方法将系统策略文件中的描述解析成信息流形式,然后再将其抽象为有向图形式,最后利用图论中的方法分析信息流情况,给出完整性破坏的信息流传播路径.此方法的思想可以用在任何通过执行某些操作会产生信息流的环境中.根据这一方法,开发了一个原型工具,并以SELinux操作系统为例进行了实验分析.实验表明它能分析策略中的信息流向,并能实时给出策略违反图.此方法和工具可以作为现有完整性度量方法的有效补充.

关键词：信息流完整性类型强制模型可信计算基策略违反图

来源：评论

学校读者我要写书评

暂无评论

操作系统安全验证形式化分析框架

引用

计算机工程与科学 2009年第3期31卷 24-26,121页

作者：尹中旭吴灏解放军信息工程大学信息工程学院河南郑州450002

结合当前形式化验证方法的特点和操作系统安全模型情况,本文提出了这些方法在操作系统安全分析中的应用。结合传统定理证明方法的优势,将模型检验方法纳入形式化安全分析体系当中,并分别提出了在安全分析中的应用情况。将用定理证明用... 详细信息

结合当前形式化验证方法的特点和操作系统安全模型情况,本文提出了这些方法在操作系统安全分析中的应用。结合传统定理证明方法的优势,将模型检验方法纳入形式化安全分析体系当中,并分别提出了在安全分析中的应用情况。将用定理证明用于从模型到规则的分析,模型检验从实现中抽取模型,用于从实现到规则的分析。

关键词：模型检测定理证明可信计算基访问控制模型

来源：评论

学校读者我要写书评

暂无评论

一种安全系统平台的研究和设计

引用

计算机工程与应用 2002年第2期38卷 81-82,192页

作者：刘勇胡南军訾小超谢俊元南京大学计算机科学与技术系南京210093

安全需求的多样化和复杂化使得越来越多的安全策略在上层应用中实现,如何保证上层实现的安全策略得到真正实施成为安全操作系统的基本要求。文章在分析可信系统最新发展和当前系统安全需求的基础上,对操作系统支持上层安全机制的安全特... 详细信息

安全需求的多样化和复杂化使得越来越多的安全策略在上层应用中实现,如何保证上层实现的安全策略得到真正实施成为安全操作系统的基本要求。文章在分析可信系统最新发展和当前系统安全需求的基础上,对操作系统支持上层安全机制的安全特性进行重点研究,并提出了通过进行代码授权和资源保护来构建具有这种特性的安全系统平台的设计方案。

关键词：安全操作系统安全系统平台可信计算基安全策略可信授权程序

来源：评论

学校读者我要写书评

暂无评论

高可靠性网格的分析与研究

引用

计算机应用研究 2006年第11期23卷 224-225,229页

作者：廖凯张来顺解放军信息工程大学电子技术学院河南郑州450004

提出了纵深防御体系,给出了一个全新的高可靠性模型,推进网格全面走进人们的日常生活,为大家服务。

关键词：开放网格服务体系结构面向服务的体系结构网格系统可信计算基人工神经网络自适应机制

来源：评论

学校读者我要写书评

暂无评论

可信管道模型研究

引用

计算机工程与应用 2011年第26期47卷 70-73,82页

作者：李勇李光沈昌祥解放军信息工程大学电子技术学院郑州450004 华北计算技术研究所北京100083 北京工业大学计算机学院北京100022

针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模... 详细信息

针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模型的安全性;给出了一个可信管道的实施框架。

关键词：可信计算可信计算基可信管道无干扰

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：