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

2000年CERNET第七届学术会议

作者：王春雷王宇卢昱装备指挥技术学院(北京)

分析了目前主流商用操作系统的安全性能,并针对桌面操作系统的网络操作系统的不同特点,提出了安全改造的主要技术,给出了文件系统和网络系统安全性扩展的模型.

关键词：商用操作系统桌面操作系统网络操作系统安全性能网络安全

来源：评论

学校读者我要写书评

暂无评论

HBSP：商用操作系统硬件虚拟化透明保护框架

HBSP：商用操作系统硬件虚拟化透明保护框架

引用

2009中国计算机大会

作者：于淼俞培杰高尚林芊朱曼戚正伟管海兵上海交通大学软件学院上海市 200240

现代商用操作系统代码量大且很复杂，这就使得基于主机的安全工具不能在恶意软件的威胁之下提供足够的安全保障。当前软件保护的要点在于如何有效保护软件，同时又可以从不可信的操作系统中隐藏保护器。本文将描述一个可用于软件保护的... 详细信息

现代商用操作系统代码量大且很复杂，这就使得基于主机的安全工具不能在恶意软件的威胁之下提供足够的安全保障。当前软件保护的要点在于如何有效保护软件，同时又可以从不可信的操作系统中隐藏保护器。本文将描述一个可用于软件保护的轻量级高可配置透明框架HBSP(Hypcrvisor Based Software Protector)。它基于硬件虚拟化技术和内存隐藏策略，HBSP完全生存于操作系统管理空问之外。一系列性能分析及实验表明，HBSP可以在未修改的Windows XP上保护应用程序，对已有应用程序的总体性能开销仅为0.25％.

关键词：硬件虚拟化透明软件保护商用操作系统内存隐藏

来源：评论

学校读者我要写书评

暂无评论

高性能核安全级控制显示操作系统软件设计技术研究

引用

核科学与工程 2021年第6期41卷 1145-1153页

作者：石桂连王晓燕李萌杜乔瑞马忠刚北京广利核系统工程有限公司北京100094

核安全级控制显示操作设备(Nuclear safety classified control and information display,SCID)是核电站数字化仪控系统的关键设备,实现运行操作人员与数字化核安全级控制保护系统人机交互功能。本文对我国SCID的需求进行了分析,得出研... 详细信息

核安全级控制显示操作设备(Nuclear safety classified control and information display,SCID)是核电站数字化仪控系统的关键设备,实现运行操作人员与数字化核安全级控制保护系统人机交互功能。本文对我国SCID的需求进行了分析,得出研制高性能SCID的必要性;提出了基于商用实时嵌入式操作系统的SCID软件总体设计方案,并对此方案中涉及的核电安全要求的确定性、系统的自诊断、系统的信息安全防范进行重点设计;随后针对商用操作系统使其达到核电同等质量水平出发,详述了商用操作系统选型和商品级物项适用性确认(Commercial Grad Dedication,CGD);目前高性能核安全仪控安全显示在防城港3&4号机组成功应用,成为我国首款获得工程应用的高性能SCID产品。

关键词：核安全级操作显示控制设备商用操作系统商品级物项适用性确认确定性

来源：评论

学校读者我要写书评

暂无评论

屏蔽系统形式化建模和分析方法研究

屏蔽系统形式化建模和分析方法研究

引用

作者：朱佳宾中国科学技术大学

学位级别：硕士

当前的商用操作系统不断地被曝出各种各样的安全漏洞,攻击者能够通过攻击商用操作系统影响到安全代码的执行。为解决上述问题,研究人员提出了屏蔽系统,即一种可用来保护安全代码的软硬件系统。具体而言,屏蔽系统保护安全代码的两大属性-... 详细信息

当前的商用操作系统不断地被曝出各种各样的安全漏洞,攻击者能够通过攻击商用操作系统影响到安全代码的执行。为解决上述问题,研究人员提出了屏蔽系统,即一种可用来保护安全代码的软硬件系统。具体而言,屏蔽系统保护安全代码的两大属性-(1)机密性:安全代码的执行过程对于商用操作系统而言是不可见的。商用操作系统只能观察到此代码的输入和输出;(2)完整性:商用操作系统不能影响受保护代码的行为。一旦安全代码执行完成,代码的输出应与在其预期的参考输出相同。典型的屏蔽系统有基于hypervisor的TrustVisor,基于ARM TrustZone的TrustICE和基于硬件的Intel SGX技术等。屏蔽系统会使用在系统中比商用操作系统更高权限的核心管理模块来绕过操作系统保护安全代码。随着屏蔽系统的商业化,屏蔽系统的安全性越来越受重视。目前,尽管屏蔽系统的代码量远小于商用操作系统,屏蔽系统仍有存在漏洞的可能,这使得攻击者仍有机会危害到安全代码的执行。为此,一个重要的解决方案是对屏蔽系统进行形式化地安全分析。形式化分析方法通过建立理论模型和进行理论推导,能够在安全属性不完备时提供理论证据,或者证明安全属性的完备性。为软硬件系统提供形式化分析是目前安全性分析领域解决软硬件系统安全问题的一个重要手段。本文基于逐层精化的形式化分析方法围绕屏蔽系统安全性分析开展研究,取得以下成果:(1)提出了屏蔽系统数据机密性形式化分析方法。安全代码私密数据的安全性至关重要。例如,对于指纹解锁程序而言,其指纹数据一旦泄露,会给解锁程序的使用者带来极大的危害。因此,屏蔽系统需要确保安全代码私密数据不能够被攻击者获取。本方法支持分析多种屏蔽系统的数据机密性,如基于虚拟化扩展的屏蔽系统和基于ARM TrustZone的屏蔽系统。本方法构建了屏蔽系统在数据访问和数据加解密方面的普适形式化约束,并证明了这些约束能够抵抗住一个Dolev-Yao类型攻击者的攻击。本方法通过证明具体屏蔽系统是这些普适约束的精化,从而证明这些系统的数据私密性。本文用此方法分析了屏蔽系统TrustVisor和屏蔽系统OSP,并发现了这两个系统设计上的安全缺陷。(2)提出了屏蔽系统数据连续性形式化分析方法。针对特定的安全代码,其关键数据如果被攻击者用旧版本数据所替换,其使用效果可能受到极大的影响。例如,银行账目结算程序中的账目如果能够被攻击者回滚,就可能会导致银行用户产生损失。因此,屏蔽系统需要确保安全代码的关键数据始终处于最新的版本或者是一个可容忍的旧版本。本方法支持分析多种屏蔽系统状态连续性保护方案,如基于单调计数器的保护方案和基于历史记录的保护方案。本方法构建了屏蔽系统在数据存储和断电处理方面的普适形式化约束,并证明了这些约束能够应对一个恶意控制了电源和外部存储器的攻击者。本方法通过证明具体屏蔽系统是这些普适约束的精化,从而证明这些系统的数据连续性。本文用此方法证明了状态连续性保护方案Ariadne和状态连续性保护方案Menoir的状态连续性,展示了本方法的普适性。(3)提出了 ARM平台内存隔离性形式化分析方法。确保不同程序间的内存不可相互访问是很有必要的。因此,ARM平台提供了数据访问控制机制,使得ARM平台上的安全系统能够隔离关键程序之间的内存。本方法支持分析多种ARM平台的内存隔离性,如支持虚拟化扩展的ARM平台和不支持虚拟化扩展的ARM平台。本方法给出了 ARM平台上扩展分页机制和ARM TZASC机制的通用形式化表达,并基于这些表达构建了内存隔离性普适约束,然后证明了这些约束针对任意读写的被隔离程序始终有效。本方法通过证明具体的安全系统是这些普适约束的精化,从而证明这些系统的内存隔离性。本文用此方法从ARM平台的视角证明了屏蔽系统OSP和屏蔽系统TrustICE的内存隔离性,展示了本方法的普适性。

关键词：商用操作系统屏蔽执行屏蔽系统安全代码形式化分析方法逐层精化

来源：评论

学校读者我要写书评

暂无评论

安全是一种态度——如何建立银行的信息安全

引用

金融电子化 2002年第8期 78-80页

作者：唐立军东软软件股份有限公司

加入世界贸易组织,标志着中国金融改革进入崭新的阶段,随着外资银行的加入,国内的银行业为了生存不断打破原来半封闭的环境,越来越多地承担起服务社会的功能,这就要求银行业加快信息化。信息化给银行带来利益的同时,也带来了前所未有的... 详细信息

加入世界贸易组织,标志着中国金融改革进入崭新的阶段,随着外资银行的加入,国内的银行业为了生存不断打破原来半封闭的环境,越来越多地承担起服务社会的功能,这就要求银行业加快信息化。信息化给银行带来利益的同时,也带来了前所未有的不安全隐患。今天的银行对内从总行覆盖到区县一级的支行,对外不但连接着其他银行还连接着电

关键词：银行金融机构服务器端商用操作系统防火墙计算机犯罪数据包专用网络数据库系统防病毒技术攻击行为侵犯行为局域网局部计算机网络计算机通信网物理安全系统安全

来源：评论

学校读者我要写书评

暂无评论

Linux在电子政务中的机会 B04

引用

计算机世界

作者：龚杰

最近一段时间，几份关于Linux的调查报告引起了人们的关注：一说Linux的安全性并不比Windows强多少；二说企业选用Linux的总体拥有成本并不比选择其他商用操作系统低；三说IBM投资10亿美元支持Linux的做法不见得是明智之举。真的如此吗... 详细信息

最近一段时间，几份关于Linux的调查报告引起了人们的关注：一说Linux的安全性并不比Windows强多少；二说企业选用Linux的总体拥有成本并不比选择其他商用操作系统低；三说IBM投资10亿美元支持Linux的做法不见得是明智之举。真的如此吗？让我们听听IBM全球公用事业部Linux项目?

关键词： Linux 电子政务建设电子政务商用操作系统

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式软件支撑平台

一种嵌入式软件支撑平台

引用

作者：闫保中黄超丁继成赵琳许兆新李健利李玉兵黄卫权郝勇马兴成 150001 黑龙江省哈尔滨市南岗区南通大街145号哈尔滨工程大学科技处知识产权办公室

本发明涉及软件支撑平台领域，具体为一种采用中间件技术和虚拟机原理，适应不同硬件平台和操作系统的嵌入式软件支撑平台。本发明包括板级支持包、操作系统适配层、公共模块，商用操作系统构建在板级支持包上，操作系统适配层构建在商... 详细信息

标准号: CN102779047B

本发明涉及软件支撑平台领域，具体为一种采用中间件技术和虚拟机原理，适应不同硬件平台和操作系统的嵌入式软件支撑平台。本发明包括板级支持包、操作系统适配层、公共模块，商用操作系统构建在板级支持包上，操作系统适配层构建在商用操作系统上，公共模块构建在操作系统适配层上，公共模块为上层应用程序提供支撑功能，用于任务或线程封装、信号量封装、消息队列封装、文件系统封装，屏蔽不同硬件平台、操作系统的差异。本发明的软件支撑平台与上层应用系统的开发分离，应用系统的开发摆脱了对操作系统的高度依赖，有效提高了上层应用系统的可移植性；通过内存管理模块、文件管理模块、定时器管理模块等功能提高了系统的实时性。

关键词：操作系统公共模块支撑平台适配层构建商用操作系统上层应用系统板级支持包硬件平台封装定时器管理模块内存管理模块上层应用程序文件管理模块消息队列封装嵌入式软件信号量封装中间件技术可移植性文件系统应用系统支撑功能实时性虚拟机屏蔽线程开发

来源：评论

学校读者我要写书评

暂无评论

内核管理方法、设备和计算机程序产品

内核管理方法、设备和计算机程序产品

引用

作者：周一舟张志斌美国马萨诸塞州

本公开的实施例涉及内核管理方法、设备和计算机程序产品。该方法包括：从服务器接收待加载到内核中的内核模块的多个实例，该多个实例对应于多个备选版本；响应于内核被启动或更新，确定内核的当前版本；以及将多个实例中与当前版本对... 详细信息

标准号: CN110389786A

本公开的实施例涉及内核管理方法、设备和计算机程序产品。该方法包括：从服务器接收待加载到内核中的内核模块的多个实例，该多个实例对应于多个备选版本；响应于内核被启动或更新，确定内核的当前版本；以及将多个实例中与当前版本对应的实例加载至内核。本公开的实施例能够提升操作系统的安全性，满足商用操作系统的闭源需求，并且还可以简化内核模块引用API的过程。

关键词：内核内核模块加载计算机程序产品商用操作系统提升操作系统服务器接收备选版本引用响应更新管理

来源：评论

学校读者我要写书评

暂无评论

内核管理方法、电子设备和计算机可读存储介质

内核管理方法、电子设备和计算机可读存储介质

引用

作者：周一舟张志斌美国马萨诸塞州

本公开的实施例涉及内核管理方法、电子设备和计算机可读存储介质。该方法包括：从服务器接收待加载到内核中的内核模块的多个实例，该多个实例对应于多个备选版本；响应于内核被启动或更新，确定内核的当前版本；以及将多个实例中与当... 详细信息

标准号: CN110389786B

本公开的实施例涉及内核管理方法、电子设备和计算机可读存储介质。该方法包括：从服务器接收待加载到内核中的内核模块的多个实例，该多个实例对应于多个备选版本；响应于内核被启动或更新，确定内核的当前版本；以及将多个实例中与当前版本对应的实例加载至内核。本公开的实施例能够提升操作系统的安全性，满足商用操作系统的闭源需求，并且还可以简化内核模块引用API的过程。

关键词：内核内核模块加载计算机可读存储介质商用操作系统提升操作系统服务器接收备选版本电子设备引用响应更新管理

来源：评论

学校读者我要写书评

暂无评论

传统的QNX系统

引用

管理观察 1995年第8期 38-38页

作者：杨英

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：