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

计算机科学 2004年第8期31卷 176-178,193页

作者：高微卿斯汉崔永祯中国科学院软件研究所信息安全技术工程研究中心北京100080

在操作系统安全内核的实现方式上,一种主流的做法是直接改造原有系统的实现代码,加入安全机制。其中较为常见的是以 LINUX 开放源代码为基础进行开发,直接对内核进行修改。在发现这种做法优点的同时,我们也必须意识到它也存在一定的缺点... 详细信息

在操作系统安全内核的实现方式上,一种主流的做法是直接改造原有系统的实现代码,加入安全机制。其中较为常见的是以 LINUX 开放源代码为基础进行开发,直接对内核进行修改。在发现这种做法优点的同时,我们也必须意识到它也存在一定的缺点,比如兼容性和移植性的问题。本文提出了安全虚拟机(SVM)这一概念,阐述了从系统调用层对操作系统安全实施增强的技术,并根据此策略设计了一个能够达到 C2级安全保护的模型,重点突出了设计思想和实现考虑。

关键词：安全虚拟机安全策略可信计算基访问控制系统调用层操作系统 SVM

来源：评论

学校读者我要写书评

暂无评论

可信虚拟平台中的双AIK签名机制

引用

计算机工程 2011年第16期37卷 114-116页

作者：孙宇琼宋成辛阳蒋辉柏杨义先北京邮电大学网络与信息攻防技术教育部重点实验室北京100876 灾备技术国家工程实验室北京100876 北京安码科技有限公司北京100876

在Xen虚拟平台中,用于完整性认证的虚拟可信平台模块(TPM)存在身份证明密钥(AIK)泄露隐患。为此,提出一种适用于可信虚拟平台的双AIK签名机制,以及与之配合的远程完整性认证协议,使用不同AIK对物理平台完整性信息及虚拟机内部完整性信... 详细信息

在Xen虚拟平台中,用于完整性认证的虚拟可信平台模块(TPM)存在身份证明密钥(AIK)泄露隐患。为此,提出一种适用于可信虚拟平台的双AIK签名机制,以及与之配合的远程完整性认证协议,使用不同AIK对物理平台完整性信息及虚拟机内部完整性信息进行分开签名。安全性分析表明,该机制能解决Xen平台的身份密钥泄露问题。

关键词：可信虚拟平台可信平台模块身份证明密钥可信计算基

来源：评论

学校读者我要写书评

暂无评论

基于无干扰理论的分布式多级安全核心架构

引用

计算机应用 2013年第3期33卷 712-716页

作者：邵婧陈性元杜学绘曹利峰信息工程大学三院郑州450004 信息工程大学四院郑州450004

为了提高分布式环境下多级安全实施的正确性和可行性,提出了一个分布式多级安全保护核心架构——分布式可信计算基(DTCB)。DTCB具有三层结构,包括系统层可信计算基、模块层可信计算基和分区层可信计算基,实现了从模块间、分区间到分区... 详细信息

为了提高分布式环境下多级安全实施的正确性和可行性,提出了一个分布式多级安全保护核心架构——分布式可信计算基(DTCB)。DTCB具有三层结构,包括系统层可信计算基、模块层可信计算基和分区层可信计算基,实现了从模块间、分区间到分区内部的逐步细化的信息流和访问控制,有效降低了分布式环境下多级安全实施的复杂性。最后,采用组合无干扰模型形式化证明了DTCB的安全性,结果表明,DTCB能够从整体上为分布式系统提供较好的多级安全保护。

关键词：多级安全无干扰可信计算基分布式系统架构

来源：评论

学校读者我要写书评

暂无评论

Android手机的轻量级访问控制

引用

计算机应用研究 2010年第7期27卷 2611-2613,2628页

作者：刘昌平范明钰王光卫郑秀林宫亚峰电子科技大学计算机科学与工程学院成都611731 北京电子科技学院北京100070 国家信息技术安全研究中心北京100091

Android手机与计算机建立连接之后,计算机能以root身份登录Android手机,会给手机的应用程序和用户数据造成安全隐患。以Android手机为平台,提出了一种适用于Android手机的访问控制方法,该方法在Android手机的内核中增加访问控制模块,并... 详细信息

Android手机与计算机建立连接之后,计算机能以root身份登录Android手机,会给手机的应用程序和用户数据造成安全隐患。以Android手机为平台,提出了一种适用于Android手机的访问控制方法,该方法在Android手机的内核中增加访问控制模块,并根据手机用户定制的访问控制策略来控制计算机对Android手机的文件访问。仿真实验表明,该方法以较小的性能代价实现了Android手机的文件访问控制,能有效地保护手机用户的应用程序和数据安全。

关键词：访问控制手机操作系统可信计算基

来源：评论

学校读者我要写书评

暂无评论

基于可信连接的集群TCB构建技术

引用

计算机工程与设计 2015年第5期36卷 1165-1169页

作者：韩培胜赵勇常朝稳秦晰北京工业大学计算机学院北京100124 信息工程大学密码工程学院河南郑州450004

为解决集群系统中安全机制被旁路、破坏的问题,提出一种基于可信连接的集群TCB构建技术。利用图的方法给出集群TCB的定义,利用密码技术,结合可信计算思想,给出集群节点TCB间可信连接管道构建机制,基于可信连接管道,提出一种集群TCB的构... 详细信息

为解决集群系统中安全机制被旁路、破坏的问题,提出一种基于可信连接的集群TCB构建技术。利用图的方法给出集群TCB的定义,利用密码技术,结合可信计算思想,给出集群节点TCB间可信连接管道构建机制,基于可信连接管道,提出一种集群TCB的构建方法。验证结果表明,该技术是安全可信的,可用于企业大型应用、云计算应用等集群计算模式系统中,为这些系统的安全奠定坚实基础。

关键词：可信计算基集群可信连接身份认证状态评估

来源：评论

学校读者我要写书评

暂无评论

一种轻量级安全可信的虚拟执行环境

引用

中国科学：信息科学 2012年第5期42卷 617-633页

作者：陈浩孙建华刘琛李海伟湖南大学信息科学与工程学院长沙410082

针对传统TCB(trusted computing base)庞大复杂的问题,设计并实现了一个最小化的TCB系统架构.利用CPU的系统管理模式(SMM)提供的硬件隔离特性,通过将应用程序中对安全敏感的代码放入虚拟环境中执行,从而将应用程序本身非安全敏感部分代... 详细信息

针对传统TCB(trusted computing base)庞大复杂的问题,设计并实现了一个最小化的TCB系统架构.利用CPU的系统管理模式(SMM)提供的硬件隔离特性,通过将应用程序中对安全敏感的代码放入虚拟环境中执行,从而将应用程序本身非安全敏感部分代码、操作系统及其上运行的其他应用程序排除在TCB之外,使得TCB的软件部分只包含安全敏感代码和虚拟执行环境包含的少量代码,实现了TCB的最小化.本系统的强隔离性使得在操作系统和部分硬件(如DMA、硬件调试器等)被攻击者控制后,依然可以保证安全敏感代码执行过程的隐秘性和执行结果的完整性.同时,本系统还为执行结果提供了细粒度的可靠验证,保证结果是在本系统的保护下得到的,没有被任何恶意程序篡改.

关键词：可信计算可信计算基系统管理模式虚拟化最小化TCB

来源：评论

学校读者我要写书评

暂无评论

主流平台中的可信路径安全机制分析

引用

微计算机信息 2006年第6X期22卷 97-99页

作者：李红霞傅鹂重庆工商大学重庆市信息安全技术中心

分析了可信路径及其基本的密切相关概念的内涵,阐释了主流平台中Linux、NT系列windows中的可信路径的基本原理。将目前针对Linux、windows两类主流平台的可信路径的主要攻击手段进行了试验,对该两类平台的可信路径的渗透情况作了试验并... 详细信息

分析了可信路径及其基本的密切相关概念的内涵,阐释了主流平台中Linux、NT系列windows中的可信路径的基本原理。将目前针对Linux、windows两类主流平台的可信路径的主要攻击手段进行了试验,对该两类平台的可信路径的渗透情况作了试验并进行了对比分析。使用计算机信息系统安全等级保护中的有关指标对该Linux、NT系列windows的可信路径安全机制做了对比。

关键词：可信路径可信计算基安全留意键安全警告序列渗透

来源：评论

学校读者我要写书评

暂无评论

虚拟化安全关键技术研究

虚拟化安全关键技术研究

引用

作者：朱鸿伟浙江大学

学位级别：硕士

随着计算机技术的发展,网络安全和信息安全变得越来越重要。操作系统中应用的种类越来越多,安全控制机制越来越复杂不能够满足各种应用的需求,应用程序对安全需求还可能发生着冲突,这使得系统安全问题变得愈加严峻。本文在原有的虚拟化... 详细信息

随着计算机技术的发展,网络安全和信息安全变得越来越重要。操作系统中应用的种类越来越多,安全控制机制越来越复杂不能够满足各种应用的需求,应用程序对安全需求还可能发生着冲突,这使得系统安全问题变得愈加严峻。本文在原有的虚拟化技术基础上,对现有的VMM虚拟监控器和安全控制技术进行深入研究后,结合VMM虚拟平台的相关特点,在VMM中研究实现安全访问控制模型。主要的贡献和创新点表现如下: 首先,分析VMM的技术基础,在VMM的虚拟资源的访问中增加了安全控制钩子,针对VM对资源的访问进行相应的安全控制,实现了VMM系统的安全控制模块,为客户操作系统之间VMM层的数据通讯提供了访问控制机制,从而可以构建VMM、操作系统、应用程序多层次访问控制模型。其次,研究VMM虚拟监控器上的可能出现的几种安全问题,设计实现了针对此类问题的安全控制策略,并用XML方式来格式化描述,同时采用类Flask架构,将安全策略的管理和安全策略的实现分割开来,实现的安全策略的动态更新和维护。最后,分析研究访问控制对VMM可能造成的系统性能影响,针对VMM运行的性能关键路径,实现了减少性能影响的缓存机制和资源绑定时安全控制机制。测试数据表明,本文中实现的安全模块对系统总体性能的影响不大,属于可以接受的范围,同时也验证了设计的正确性。本文的总体结构是首先综述了当前主流的软件虚拟化技术,重点探讨了软件虚拟化技术存在的安全缺点,然后从体系架构和运行流程两个方面描绘出了其整体思想。最后对各个组件模块进行了详细的说明并对一些高级议题进行了探讨。最后对系统运行的性能数据进行了分析和说明。

关键词：可信操作系统可信计算基访问控制

来源：评论

学校读者我要写书评

暂无评论

隔离执行模型研究与实现

隔离执行模型研究与实现

引用

作者：李小庆南京大学

学位级别：硕士

系统安全是保证信息安全的一个重要基础，系统平台应该为各种安全应用提供一个安全的运行环境。目前系统平台存在着代码量庞大难于验证、缺乏有效的错误隔离机制，以及安全模型缺乏通用性等问题。因此，本文以为安全应用提供安全的运行... 详细信息

系统安全是保证信息安全的一个重要基础，系统平台应该为各种安全应用提供一个安全的运行环境。目前系统平台存在着代码量庞大难于验证、缺乏有效的错误隔离机制，以及安全模型缺乏通用性等问题。因此，本文以为安全应用提供安全的运行环境为目标，重点研究了程序的隔离执行模型。\n 本文主要的研究工作如下:\n 1)研究了小型化安全系统的特点，以及构造安全系统需要解决的关键问题。通过分析具有代表性的安全系统，总结了安全系统的特点;\n 2)总结了与安全系统相关的安全概念和安全系统中常用的虚拟化技术，较为详细地描述了本文实现所采用的AMD SVM硬件虚拟化技术;\n 3)分析了安全运行环境的安全性和通用性的需求，确定了保证数据保密性、数据完整性和执行完整性等安全属性的安全目标，以及保证系统兼容性、灵活性和高效性等通用性目标;\n 4)基于需求分析，提出了安全敏感模块(Secure Sensitive Module，SSM)隔离执行模型——SSMVisor模型。在此模型中，应用程序中的安全相关代码被隔离到SSM中，并和底层系统一起构成了应用程序的可信计算基(Trusted Computing Base，TCB)，而操作系统内核和应用程序中的安全无关部分被假定为不可信组件。SSMVisor模型为SSM的运行提供一个单向隔离的执行环境，SSM和外部不可信代码间通过函数调用的方式进行交互，SSM可以使用外部地址空间内存，并且在SSM运行过程中允许被操作系统中断;\n 5)根据SSMVisor模型，结合硬件虚拟化技术，实现了一个单向隔离执行原型系统。分析和实验结果表明，系统具有较好的安全性，性能测试表现良好，性能开销约6％左右，同时自身代码量也较少，约3000行的代码量。

关键词：信息安全隔离执行模型虚拟化技术可信计算基函数调用

来源：评论

学校读者我要写书评

暂无评论

嵌入式本质安全型操作系统研究

嵌入式本质安全型操作系统研究

引用

作者：张文生南开大学

学位级别：硕士

随着网络技术,信息技术的飞快发展,信息安全正在成为研究的热点问题,而操作系统由于处于系统底层,其安全问题容易被人们所忽视.该文以嵌入式系统为背景,分析研究了操作系统所面临的安全问题以及所采用的安全策略和解决办法.结合嵌入式... 详细信息

随着网络技术,信息技术的飞快发展,信息安全正在成为研究的热点问题,而操作系统由于处于系统底层,其安全问题容易被人们所忽视.该文以嵌入式系统为背景,分析研究了操作系统所面临的安全问题以及所采用的安全策略和解决办法.结合嵌入式系统的具体特点,针对传统的安全机制建立在纯软件之上的缺陷,该文提出了一种基于固化TCB(可信计算基)设计的本质安全型操作系统.本质安全的特性在于采用多环节ID验证和多级安全策略相结合的控制方法.多环节ID验证包括从运行的硬件平台到操作系统完整性,从应用程序的合法性到受控运行的一系列的验证机制.同时系统提供强制性的访问控制,基于权能的进程控制,基于进程运行状态的系统安全级别划分等等多种安全控制策略,系统通过安全接口来向应用程序提供安全服务.结合这种本质安全型控制策略,该文在嵌入式linux系统之上,实现并且验证了这种安全策略,提出了本质安全型Wolf Linux操作系统,结果表明在提供强制访问控制,进程的受控运行之上,对于速度和性能的影响并不显著,系统可以有效地防止攻击,对硬件软件提供有效的保护机制.在最后该文给出了本质安全型操作系统Wolf Linux抽象出的安全控制策略与机制,虽然是在嵌入式系统的背景下进行设计的,但是对于工作站等大型系统具有切实可行的借鉴意义.

关键词：安全操作系统自主存取控制强制存取控制安全模型权能本质安全安全状态可信计算基安全核

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：