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

作者：陈都北京工业大学

学位级别：硕士

可信计算是增强信息系统安全的重要技术之一，已得到许多国家政府、学术界和产业界的共同关注。目前，我国已自主研发出多款基于TPCM的可信芯片，但对于可信芯片的应用和管理仍处于初级阶段。因此，设计和实现一个基于国产可信芯片的可... 详细信息

可信计算是增强信息系统安全的重要技术之一，已得到许多国家政府、学术界和产业界的共同关注。目前，我国已自主研发出多款基于TPCM的可信芯片，但对于可信芯片的应用和管理仍处于初级阶段。因此，设计和实现一个基于国产可信芯片的可信管理系统对于推动我国的可信计算技术研究和应用具有重要的意义。目前，典型的信息系统安全管理工作主要存在以下问题：安全管理中心没有采用可信芯片作为可信计算基，缺少可信的硬件基础及对可信硬件的管理机制；对可信软件的管理不够健全，缺少一种机制来保证软件安装、卸载、维护过程中的可信度和缺乏对安全敏感操作的必要审计；不能够对计算机系统的分级安全保护提供有效支撑。为了解决上述问题，本课题以设计和实现基于国产可信芯片的可信管理系统为目标，研究了以可信芯片作为可信计算基的可信管理系统的体系架构，并重点研究了其中的可信硬件管理、可信软件管理和分级安全保护三个关键技术。具体研究工作如下：首先，设计基于国产可信芯片的可信硬件管理机制，在兼容当前计算机系统的前提下，提供对可信芯片的配置管理、可信存储的支持及可信芯片的平台配置寄存器参考值的更新方法等核心功能；其次，研究对可信软件的管理机制，特别是针对整个软件安装过程中的控制和审计以及对软件完整性的度量验证，以确保计算机系统内后续软件安装的可信度；同时，研究并设计对可信管理的审计系统，它可为可信软件管理机制提供必需的审计服务，又可将可信管理系统内所有的安全敏感操作进行有效审计并支持查询；然后，研究可信管理系统的分级安全保护机制，它可方便安全厂商根据需求制定不同安全粒度的固化保护策略，同时支持可信管理系统管理员以自定义方式扩展分级安全保护策略；接着，我们通过整合上述研究内容，从可信管理系统的实际应用场景出发，进行了分析和总结，解决了实现可信管理系统过程中的若干关键问题，继而提出了基于可信芯片的可信管理系统实现方案。最后，在现有的可信计算综合实验环境中对可信管理系统进行验证测试。通过验证测试的结果表明，可信管理系统的实现拥有良好的鲁棒性，又满足了现有计算机系统对可信硬件和软件管理以及分级安全保护的功能需求，对计算机系统整体的安全性有明显的提升。

关键词： TPCM 可信计算基可信芯片可信管理分级安全保护

来源：评论

学校读者我要写书评

暂无评论

基于硬件虚拟化的文件保护系统的研究

基于硬件虚拟化的文件保护系统的研究

引用

作者：王峻青上海交通大学

学位级别：硕士

防止用户的敏感文件受到未经授权的访问是计算机安全领域的问题之一。传统的文件保护机制运行在操作系统内部,一旦操作系统被攻破,其文件保护功能很可能被禁止或绕过。为了解决这个问题,最近的研究提出将文件系统放入一个专用的虚拟机,... 详细信息

防止用户的敏感文件受到未经授权的访问是计算机安全领域的问题之一。传统的文件保护机制运行在操作系统内部,一旦操作系统被攻破,其文件保护功能很可能被禁止或绕过。为了解决这个问题,最近的研究提出将文件系统放入一个专用的虚拟机,或通过网络文件系统进行访问,以此来实现不依赖于操作系统的文件访问控制。这些方法虽然提高了保护系统对操作系统的隔离性,却大幅增加了系统的可信计算基的大小,从而影响了整个系统的可靠性和安全性。针对现有解决方案的不足,本文提出基于硬件虚拟化技术实现的轻量级专用于文件保护的虚拟机监控器。本文研究工作可概括为以下两点: 首先,本文基于Bitvisor虚拟机监控器框架和硬件虚拟化技术实现了轻量级的虚拟机监控器。采用虚拟机监控器对系统进行保护,普遍存在一个问题,即虚拟机监控器自身的安全问题。Bitvisor是一个用于保护系统安全的轻量级虚拟机监控器框架,本文利用最新的硬件虚拟化技术对它进行了改进。进一步减少了它的代码量并提高了它的性能,修改后的虚拟机监控器的可信计算基代码量比通用虚拟机监控器的可信计算基代码量小至少一个数量级。可信计算基代码量的减少大幅提高了系统自身的安全性和可靠性。其次,本文使用该虚拟机监控器成功实现了对用户敏感文件保护。在虚拟机外对虚拟机内的文件保护存在一个语义鸿沟问题,即由于虚拟机监控器只能监控到客户操作系统对磁盘块的操作,而我们的保护是以文件为粒度的,这两者之间的矛盾。本文将根据文件系统格式规范和原始数据重建文件系统,以获得文件到磁盘块的映射,解决了以上的问题。即使入侵者拥有操作系统内核权限,本文实现虚拟机监控器也可防止用户敏感文件遭受未经授权的访问。我们已经实现在FAT32文件系统和Windows XP操作系统上的一个原型,对其功能进行了测试,以证明我们的设计是可行的。最后通过性能测试来证明它在现实世界场景中的对操作系统的性能影响是可以接受的。

关键词：文件保护虚拟机监控器硬件虚拟化可信计算基

来源：评论

学校读者我要写书评

暂无评论

基于标签的分布式访问控制系统

基于标签的分布式访问控制系统

引用

作者：陈岌上海交通大学

学位级别：硕士

本文介绍并分析了基于密钥的分布式标签模型，这是一个新的信息流控制模型，它允许应用程序之间共享数据而又不会导致机密信息的泄漏。以前保护机密信息的方法是基于信息流的基础上，这个标签模型是分布式的：它允许互不信任的主体之间... 详细信息

本文介绍并分析了基于密钥的分布式标签模型，这是一个新的信息流控制模型，它允许应用程序之间共享数据而又不会导致机密信息的泄漏。以前保护机密信息的方法是基于信息流的基础上，这个标签模型是分布式的：它允许互不信任的主体之间的协同计算，而不需要一个高度信任的权限中心来处理协调。由于每个主体都能够解密他自己的数据而不会违背其他主体的安全策略，所以这种协同计算是可能的。\n在分析基于密钥的分布式标签模型的基础上，本文引入了一个类型系统，它使用形式化的语言精确描述基于密钥的分布式标签模型，详细的定义了基于密钥的分布式标签模型在类型系统中的语法，类型规则，以及操作语义。\n在以上研究分析的基础上，使用银行ATM系统的例子来分析分布式标签模型如何应用在该系统中以及Jif编程语言如何完成该系统中所有的信息流控制。\n在讨论了本研究课题相关的一些技术以后，总结了本文研究的主要两个内容：分布式标签模型和静态信息流控制。并对可能扩展的研究方向做了展望。

关键词：静态检测可信计算基类型系统解密证书标签

来源：评论

学校读者我要写书评

暂无评论

基于SMM的TCB最小化技术研究与实现

基于SMM的TCB最小化技术研究与实现

引用

作者：刘琛湖南大学

学位级别：硕士

随着网络和信息技术在银行和电子商务等领域的广泛应用,人们对信息安全的要求越来越高。传统的信息安全技术,如防火墙、入侵检测、病毒防范等从外部对系统进行防护的方法已不能很好的解决当前计算机系统所面临的威胁。为此,可信计算技... 详细信息

随着网络和信息技术在银行和电子商务等领域的广泛应用,人们对信息安全的要求越来越高。传统的信息安全技术,如防火墙、入侵检测、病毒防范等从外部对系统进行防护的方法已不能很好的解决当前计算机系统所面临的威胁。为此,可信计算技术应运而生,它从内部对系统进行保护,通过建立一个可信的信任链,采用逐级验证的方式来保证系统的安全可靠,进而保证应用程序执行结果的可信,从而保护用户的信息安全。信任链上所有软硬件的组合体被称为可信计算基(TCB),对应用程序执行结果的验证即是对整个TCB的验证。然而,传统TCB中包含操作系统及其上运行的各种系统及应用软件,使得校验过程异常复杂。因此,如何在保证可信的条件下实现TCB的精简成为可信计算领域的研究热点。针对传统TCB庞大复杂的问题,本文设计并实现了一个最小化的TCB系统架构,该架构利用CPU的系统管理模式(SMM)提供的硬件隔离特性,通过将应用程序中对安全敏感的代码抽出,然后放入隔离环境中执行,从而将应用程序本身非安全敏感部分代码、操作系统及其上运行的其他应用程序排出在TCB之外,使得TCB的软件部分只包含安全敏感代码和系统自身的几百行代码,实现了TCB的最小化。本系统的强隔离性使得在操作系统和部分硬件(如DMA、硬件调试器等)被感染后,依然可以保证安全敏感代码执行过程的隐秘性和执行结果的完整性。同时,本系统还为远程主机提供了执行结果细粒度的可靠验证,远程主机运用本系统提供的应答—挑战协议,可以确认结果是在本系统的保护下执行的,而且没有被任何恶意程序篡改。最后,本文设计了三个应用实例对系统在实际中的应用进行了说明。实验表明,本系统可以有效地对应用程序的安全敏感代码进行保护,并可以为远程验证者提供细粒度的结果验证。系统和各个应用实例的性能评测结果显示,本系统在为应用程序带来高安全性的同时只带来较少的时间开销。

关键词：可信计算可信计算基系统管理模式安全最小化

来源：评论

学校读者我要写书评

暂无评论

基于用户层设备驱动的操作系统TCB缩减研究

基于用户层设备驱动的操作系统TCB缩减研究

引用

作者：章康华中科技大学

学位级别：硕士

随着硬件平台和设备变得越来越多,操作系统作为硬件的管理者包含着庞大的源代码。目前流行的单一内核操作系统,因内核代码庞大导致了漏洞增多,而隐含在内核代码中的漏洞一旦被攻击者利用,攻击者便能够完全控制系统、使用硬件平台,甚至... 详细信息

随着硬件平台和设备变得越来越多,操作系统作为硬件的管理者包含着庞大的源代码。目前流行的单一内核操作系统,因内核代码庞大导致了漏洞增多,而隐含在内核代码中的漏洞一旦被攻击者利用,攻击者便能够完全控制系统、使用硬件平台,甚至窃取用户数据。在单一内核操作系统内核代码中,设备驱动代码占了一大部分,驱动代码中的漏洞一旦被攻击者利用,攻击者将有能力破坏整个系统;另外,系统调用是用户利用内核服务的主要手段,这些系统调用实现中的漏洞可能被攻击者利用来破坏内核。内核代码缩减是减少操作系统内核漏洞的有效方法。因此,如何使操作系统内核代码更小,是保证系统安全的主要问题。基于用户层设备驱动的操作系统可信代码基缩减框架,提出了减小操作系统内核代码方法,并对主流操作系统Linux的内核代码进行有效的分离,减小了Linux内核的可信计算基以及攻击面。一方面,移除了内核中占最大代码量的设备驱动,并利用代理驱动模型在用户层运行未修改的设备驱动程序;另一方面,利用库操作系统将操作系统的功能(如,文件系统、进程管理等)在用户层实现,从而减小了内核呈现给应用程序的系统调用接口,缩减了内核的攻击面。通过以上两方面的工作,能够有效的减少内核漏洞。最后,以基于PCI的e1000网卡驱动为例,实现了网卡类驱动代码的有效分离。系统测试结果表明,基于用户层设备驱动的操作系统可信代码基缩减框架减小了81.7%的Linux系统调用接口,并开发了代码量为0.9K(代码量是e1000的7.5%)的网卡类代理驱动。性能分析表明系统性能开销在可接受的范围之内,UDP和TCP的基准测试开销控制在25%以内,系统综合性能指标大部分开销很小。

关键词：安全内核可信计算基库操作系统用户层设备驱动

来源：评论

学校读者我要写书评

暂无评论

云环境下面向用户的远程证明方案

云环境下面向用户的远程证明方案

引用

作者：王旭河北大学

学位级别：硕士

随着个人计算机、互联网的广泛普及以及信息技术的快速发展，我们已悄然步入大数据时代，如何处理服务器的过载和剩余以及长年积累的海量数据，成为了摆在我们面前的现实问题。因此，云计算技术应运而生。云计算将分布式计算和网络存储... 详细信息

随着个人计算机、互联网的广泛普及以及信息技术的快速发展，我们已悄然步入大数据时代，如何处理服务器的过载和剩余以及长年积累的海量数据，成为了摆在我们面前的现实问题。因此，云计算技术应运而生。云计算将分布式计算和网络存储等技术融合在一起，为解决大数据时代所面临的难题提供了行之有效的途径，已然成为第三次IT革新浪潮中工业界学术界关注的焦点。现阶段广为接受的是美国国家标准与技术研究院（NIST）的定义：云计算是一种按使用量付费的模式，这种模式提供可用的、便捷的、按需的网络访问，进入可配置的计算资源共享池（资源包括网络，服务器，存储，应用软件，服务），这些资源能够被快速提供，只需投入很少的管理工作，或与服务供应商进行很少的交互。如今，云计算正以其按需自助、泛在网络访问、物理位置透明、快速伸缩性以及按使用付费的优势，掀起了新一轮的信息化浪潮，在社会诸多领域得到了广泛的应用。云计算降低了企业用户的存储和维护成本，解决了个人用户自身存储和计算资源有限所带来的约束[1]。尽管云计算拥有强大的功能，并且给用户带来了良好的体验和较低的使用成本，但信任和安全问题却成为其发展的瓶颈。

关键词： TPM 安全等级信任链属性证书可信计算基完整性度量可信传递 TCG 可信根可信平台模块签名密钥密钥对零知识证明直接匿名证明面向用户

来源：评论

学校读者我要写书评

暂无评论

虚拟化安全:机遇,挑战与未来

引用

网络与信息安全学报 2016年第10期2卷 17-28页

作者：刘宇涛陈海波上海交通大学并行与分布式系统研究所上海200240

随着云计算的流行,虚拟化安全问题受到了广泛的关注。通过引入额外的一层抽象,虚拟化技术为整个系统提供了更强级别的隔离机制,并为上层软件提供了一系列自底向上的安全服务。另一方面,抽象的引入所带来的复杂性提升和性能损失,都对虚... 详细信息

随着云计算的流行,虚拟化安全问题受到了广泛的关注。通过引入额外的一层抽象,虚拟化技术为整个系统提供了更强级别的隔离机制,并为上层软件提供了一系列自底向上的安全服务。另一方面,抽象的引入所带来的复杂性提升和性能损失,都对虚拟化安全的研究带来了巨大的挑战。介绍了上海交通大学并行与分布式系统研究所近几年来在虚拟化安全领域所做的一系列具有代表性的工作,包括利用虚拟化提供可信执行环境、虚拟机监控、域内隔离等一系列安全服务,以及对虚拟化环境的可信计算基和跨域调用等方面进行优化的成果,并对当前和未来虚拟化安全领域的问题和探索方向进行了总结。

关键词：虚拟化安全可信执行环境虚拟机自省域内隔离可信计算基跨域调用

来源：评论

学校读者我要写书评

暂无评论

针对SGX的攻击与防御综述

引用

计算机技术与发展 2020年第11期30卷 104-110页

作者：张亚晖赵敏韩欢陆军工程大学重庆400035 陆军工程大学江苏南京210007

如何防止恶意攻击者窃取用户数据或隐私,是当前信息安全领域研究的热难点问题。2013年,Intel公司在HASP会议上提出了新的处理器安全技术SGX(software guard extensions,软件保护扩展),能够在计算平台上提供一个可信的隔离空间enclave,... 详细信息

如何防止恶意攻击者窃取用户数据或隐私,是当前信息安全领域研究的热难点问题。2013年,Intel公司在HASP会议上提出了新的处理器安全技术SGX(software guard extensions,软件保护扩展),能够在计算平台上提供一个可信的隔离空间enclave,用于保障用户代码和数据的机密性和完整性。SGX是信息安全领域突破性的研究成果,对于个人用户和云计算平台用户都具有重大意义。但同时针对SGX的攻击的威胁模型非常强大,SGX的攻击面不断地被发掘,其防御技术也不断更新。为更好地研究针对SGX的攻击与防御技术,介绍了针对SGX攻击的威胁模型,总结归纳了针对SGX的攻击类型,分析了针对SGX攻击的防御措施,并对未来可能的针对SGX的攻击与防御技术进行了探讨。

关键词： SGX 威胁模型可信计算基攻击类型防御措施

来源：评论

学校读者我要写书评

暂无评论

安全数据库概述与前瞻

引用

计算机系统应用 2005年第5期14卷 91-93页

作者：李黎明秦小麟上海警备区司令部自动化工作站 200040 南京航空航天大学信息科学与技术学院 210016

安全数据库的基本概念包括可信计算基、主客体分离、身份鉴别、数据完整性、自主访问控制、审计、标记与强制访问控制、数据安全模型形式化和访问监控器等。对于访问控制策略、数据库安全模型、数据库入侵检测和数据库入侵限制及恢复技... 详细信息

安全数据库的基本概念包括可信计算基、主客体分离、身份鉴别、数据完整性、自主访问控制、审计、标记与强制访问控制、数据安全模型形式化和访问监控器等。对于访问控制策略、数据库安全模型、数据库入侵检测和数据库入侵限制及恢复技术是今后研究的重要方向。

关键词：安全数据库可信计算基主客体分离身份鉴别数据完整性入侵限制 TCSEC

来源：评论

学校读者我要写书评

暂无评论

一种可信虚拟平台构建方法的研究和改进

引用

信息网络安全 2015年第1期 1-5页

作者：李海威范博李文锋公安部第一研究所北京100048 北京搜狐新动力信息技术有限公司北京100190

为了减小虚拟环境下虚拟可信平台模块(v TPM)实例及系统软件可信计算基(TCB)的大小,同时进一步保护v TPM组件的机密性、完整性和安全性,解决传统虚拟可信计算平台下可信边界难以界定的问题,文章提出了一种新的构建可信虚拟平台的方法和... 详细信息

为了减小虚拟环境下虚拟可信平台模块(v TPM)实例及系统软件可信计算基(TCB)的大小,同时进一步保护v TPM组件的机密性、完整性和安全性,解决传统虚拟可信计算平台下可信边界难以界定的问题,文章提出了一种新的构建可信虚拟平台的方法和模型。首先,将Xen特权域Domain 0用户空间中弱安全性的域管理工具、v TPM相关组件等放置于可信域Domain T中,以防止来自Domain 0中恶意软件的攻击及内存嗅探,同时作为Xen虚拟层上面的安全服务实施框架,Domain T可以给v TPM的相关组件提供更高级别的安全保护。其次,通过重构Domain 0中拥有特权的管理和控制应用软件,将特权域的用户空间从可信计算基中分离出来,进而减小虚拟可信平台可信计算基的大小。最后,设计并实现了新的基于可信虚拟平台的可信链构建模型。通过与传统可信虚拟平台比较,该系统可以有效实现将虚拟化技术和可信计算技术相融合,并实现在一个物理平台上同时运行多个不同可信级别的操作系统,且保证每个操作系统仍然拥有可信认证等功能。

关键词：可信平台模块可信虚拟执行环境可信计算基可信链可信域

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：