一个安全操作系统SLinux隐蔽通道标识与处理 被引量：9

1

作者 刘文清 韩乃平 陈喆 《电子学报》 EI CAS CSCD 北大核心 2007年第1期153-156,共4页

标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求,也是国际标准CC评估EAL5及以上系统的关键指标.本文基于安全操作系统SLinux的设计开发实践,给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果,论述... 标识与处理隐蔽通道是美国橘皮书TCSEC对B2及以上级别安全产品的关键评估要求,也是国际标准CC评估EAL5及以上系统的关键指标.本文基于安全操作系统SLinux的设计开发实践,给出一个安全系统隐蔽通道的标识方案、分析流程、分析结果,论述了隐蔽通道带宽计算的关键点,探讨了隐蔽通道标识与处理方案. 展开更多

关键词 隐蔽通道 安全操作系统设计 标识与处理

在线阅读 下载PDF 职称材料

安全操作系统研究 被引量：6

2

作者 张毓森 慎健 《解放军理工大学学报（自然科学版）》 EI 2004年第3期1-4,共4页

计算机系统安全问题的解决 ,要从应用程序、操作系统、计算机硬件 3个层次来考虑 ,其中每一层的安全依赖下一层提供的安全机制来保护。首先介绍了从操作系统层次保护系统安全的相关问题 ;然后论述了安全操作系统的重要性 ;最后讲述了安... 计算机系统安全问题的解决 ,要从应用程序、操作系统、计算机硬件 3个层次来考虑 ,其中每一层的安全依赖下一层提供的安全机制来保护。首先介绍了从操作系统层次保护系统安全的相关问题 ;然后论述了安全操作系统的重要性 ;最后讲述了安全操作系统发展历史、操作系统提供的一系列安全机制。 展开更多

关键词 安全操作系统 安全机制 安全标准

在线阅读 下载PDF 职称材料

安全操作系统的审计子系统设计 被引量：1

3

作者 张小梅 李希 《兰州理工大学学报》 CAS 北大核心 2006年第6期111-113,共3页

基于提高操作系统自身的安全性是增强系统安全的关键因素,审计子系统又是安全操作系统的重要组成部分,描述了一个基于SELinux的审计子系统.讨论了该系统的功能及几个关键问题,并提出了一种集中安全审计的框架,对SELinux内核进行了设计.

关键词 安全操作系统 审计 SELinux内核

在线阅读 下载PDF 职称材料

安全操作系统中的存取控制 被引量：3

4

作者 毛玉萃 《大连大学学报》 2004年第4期60-63,共4页

安全操作系统(SOS)是建立在其上的系统的安全基石,有效的存取控制是实现SOS有效的措施和方法,应用在SOS系统中的存取控制方式主要有三种基于主体权限的存取控制方式、基于主客体操作的存取控制方式和基于角色的存取控制方式;基于访问控... 安全操作系统(SOS)是建立在其上的系统的安全基石,有效的存取控制是实现SOS有效的措施和方法,应用在SOS系统中的存取控制方式主要有三种基于主体权限的存取控制方式、基于主客体操作的存取控制方式和基于角色的存取控制方式;基于访问控制方式建立的SOS模型的代表有:BPL模型、RBAC模型和Biba模型;三种存取控制方式和模型各有其特点.在实际SOS中这三种存取控制方式还能引起安全隐患,必须结合其他的安全措施和方法来提高操作系统的安全性. 展开更多

关键词 安全操作系统 存取控制 权限 计算机系统 授权

在线阅读 下载PDF 职称材料

更具可靠性的实时安全操作系统

5

作者 陈芳芳 《汽车制造业》 2014年第24期18-18,共1页

2014年11月10日。全球互联嵌入式系统软件平台领导厂商QNX软件系统有限公司（以下简称“QNX”）宣布。QNX汽车安全操作系统1．0已全面上市。该系统可助力汽车厂商和一级供应商满足对获得ISO26262标准认证的功能性安全系统日益增长的需求。

关键词 安全操作系统 可靠性 实时 汽车厂商 嵌入式系统 QNX 软件系统 软件平台

在线阅读 下载PDF 职称材料

支持电子政务应用的安全操作系统的访问控制

6

作者 李红娇 李建华 诸鸿文 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第8期1292-1295,1299,共5页

通过分析单一访问控制模型的局限及电子政务应用的安全需求,提出了一种多策略访问控制方法(MACM).该模型充分利用已有访问控制模型的优点,同时考虑进程的可靠性以及系统的可用性,给出了新模型的形式化描述,并在Linux内核上进行实现.性... 通过分析单一访问控制模型的局限及电子政务应用的安全需求,提出了一种多策略访问控制方法(MACM).该模型充分利用已有访问控制模型的优点,同时考虑进程的可靠性以及系统的可用性,给出了新模型的形式化描述,并在Linux内核上进行实现.性能分析表明,该方法对系统效率影响很小. 展开更多

关键词 电子政务 安全操作系统 访问控制 安全模型 可靠性

在线阅读 下载PDF 职称材料

基于Linux的安全操作系统测试方法研究

7

作者 于海亮 于双元 马晶燕 《铁路计算机应用》 2006年第4期39-41,共3页

安全操作系统是在操作系统的工作范围内,提供尽可能强的访问控制和审计机制,在用户/应用程序和系统硬件/资源之间进行符合安全政策的调度,而限制非法的访问。剖析安全操作系统及其评测标准,提出了安全操作系统测试的方案,并以Linux操作... 安全操作系统是在操作系统的工作范围内,提供尽可能强的访问控制和审计机制,在用户/应用程序和系统硬件/资源之间进行符合安全政策的调度,而限制非法的访问。剖析安全操作系统及其评测标准,提出了安全操作系统测试的方案,并以Linux操作系统的fcntl系统调用测试为例,给出了安全操作系统测试的方法和步骤。 展开更多

关键词 安全操作系统 系统测试 LINUX fentl 系统调用

在线阅读 下载PDF 职称材料

安全操作系统“中国梦”——中国自主操作系统战略对策研究报告 被引量：9

8

作者 方兴东 张静 +4 位作者 胡怀亮 刘国辉 李志敏 严峰 张雪征 《中国信息安全》 2014年第4期72-97,共26页

操作系统对我国战略意义——实现网络强国的关键基石 2014年2月27日由习近平总书记担任组长的中央网络安全和信息化领导小组宣告成立，

关键词 自主操作系统 安全操作系统 中国 网络安全 信息化 习近平

在线阅读 下载PDF 职称材料

基于安全操作系统的继电保护信息管理系统安全防护优化及应用 被引量：3

9

作者 易亚文 王锋 +1 位作者 陈伟 张林枝 《水电与抽水蓄能》 2018年第6期4-7,18,共5页

采用Windows操作系统的继电保护信息管理系统已暴露出不可控的信息安全隐患,对照电力监控系统安全防护规定的要求,向家坝水电站对原继电保护信息管理系统进行结构优化,并将操作系统替换为国产安全操作系统。本文对照信息安全等级保护的... 采用Windows操作系统的继电保护信息管理系统已暴露出不可控的信息安全隐患,对照电力监控系统安全防护规定的要求,向家坝水电站对原继电保护信息管理系统进行结构优化,并将操作系统替换为国产安全操作系统。本文对照信息安全等级保护的总原则,分析原继电保护信息系统的安全防护状况,介绍技术改进方案,结合安全操作系统的特点和运维经验,提出基于安全操作系统的主机加固方法,并分析了改进后继电保护信息管理系统的优缺点。 展开更多

关键词 安全操作系统 继电保护 信息管理系统 安全防护

在线阅读 下载PDF 职称材料

安全操作系统下的WebGis研究

10

作者 伍俊 《中国高新技术企业》 2008年第1期105-105,共1页

在安全操作系统的基础上,研究B/S模式下GIS的开发模式和方法,是目前GIS应用比较先进和前沿的技术,对于GIS的推广和应用具有重要的意义。

关键词 安全操作系统 WEBGIS 研究

在线阅读 下载PDF 职称材料

卡巴斯基宣布将打造新安全操作系统

11

《中国信息安全》 2012年第11期87-87,共1页

近日，卡巴斯基实验室宣布，将打造一种全新的操作系统，防止大规模的企业信息泄露和遭受攻击。 据悉，这款操作系统不会像Windows和Mac一样，而是作为一个“补充的安全层面”运行于厕台的操作系统之[＇监督系统的健屑断，隔离恶意软... 近日，卡巴斯基实验室宣布，将打造一种全新的操作系统，防止大规模的企业信息泄露和遭受攻击。 据悉，这款操作系统不会像Windows和Mac一样，而是作为一个“补充的安全层面”运行于厕台的操作系统之[＇监督系统的健屑断，隔离恶意软件等威胁因素。这款操作系统将专注于工业应用。 展开更多

关键词 安全操作系统 卡巴斯基 WINDOWS 信息泄露 监督系统 威胁因素 恶意软件 工业应用

在线阅读 下载PDF 职称材料

Check Point推出GAiA统一安全操作系统

12

《通讯世界》 2012年第5期69-69,共1页

Chec kPoint日前宣布推出Check Point R75.40,这是基于其软件刀片架构的最新网络安全方案,它的其中一大特点是使用Check Point GAiA统一安全平台。GAiA整合了Check Point现有各种操作系统的优点,包括适用于IP系列的IPSO及其它所有Check ... Chec kPoint日前宣布推出Check Point R75.40,这是基于其软件刀片架构的最新网络安全方案,它的其中一大特点是使用Check Point GAiA统一安全平台。GAiA整合了Check Point现有各种操作系统的优点,包括适用于IP系列的IPSO及其它所有Check Point安全设备的SecurePlatform（SPLAT）,这款崭新统一安全平台支持所有Check Point设备、开放服务器和虚拟网关,能协助客户进一步整合其安全设施和简化管理工作。 展开更多

关键词 CHECK POINT 安全操作系统 安全平台 安全设备 安全方案 管理工作 安全设施

在线阅读 下载PDF 职称材料

分布式并行安全操作系统的用户一致性算法

13

作者 王启科 刘心松 +2 位作者 邱元杰 周涛 黎屹 《电子科技大学学报》 EI CAS CSCD 北大核心 2007年第2期239-241,270,共4页

在基于Linux内核的分布式并行安全操作系统中,由于没有全局一致的用户鉴别和访问权限管理机制,对系统的安全带来危害。该文在对用户权限验证机制进行分析的基础上,给出了由全局同步算法和用户信息一致性协议组成的实现用户一致性的算法... 在基于Linux内核的分布式并行安全操作系统中,由于没有全局一致的用户鉴别和访问权限管理机制,对系统的安全带来危害。该文在对用户权限验证机制进行分析的基础上,给出了由全局同步算法和用户信息一致性协议组成的实现用户一致性的算法。通过测试表明该算法可以有效地保证系统的用户一致性。 展开更多

关键词 一致性协议 分布式并行 全局同步 操作系统安全 用户一致性

在线阅读 下载PDF 职称材料

安全嵌入式操作系统的构建与配置 被引量：3

14

作者 李伟 万晓冬 《电子科技》 2010年第8期112-114,117,共4页

针对安全操作系统设计中可重用性和扩展性不强的问题。通过对嵌入式操作系统的安全性和AR INC653框架标准的研究,设计了一套构建方案,实现了可扩展的配置工具,引入了可预测性的安全检验机制,从而有效地通过AR INC653框架标准的安全性和... 针对安全操作系统设计中可重用性和扩展性不强的问题。通过对嵌入式操作系统的安全性和AR INC653框架标准的研究,设计了一套构建方案,实现了可扩展的配置工具,引入了可预测性的安全检验机制,从而有效地通过AR INC653框架标准的安全性和可配置性设计,实现安全的嵌入式操作系统。 展开更多

关键词 安全操作系统 可重用性 ARINC653 可预测性检验

在线阅读 下载PDF 职称材料

移动智能终端中操作系统安全监控研究及实现 被引量：2

15

作者 曹波 杨杉 梁新建 《微电子学与计算机》 CSCD 北大核心 2014年第10期113-116,共4页

提出了一种基于mini-PCI卡和语义不变式的移动智能终端操作系统内核安全监控方法:在仅仅初始安装了操作系统的机器上,通过学习获取操作系统运行过程中必须保持的语义不变式集合,将语义不变式集合作为内核运行的安全规范.然后,在FPGA快... 提出了一种基于mini-PCI卡和语义不变式的移动智能终端操作系统内核安全监控方法:在仅仅初始安装了操作系统的机器上,通过学习获取操作系统运行过程中必须保持的语义不变式集合,将语义不变式集合作为内核运行的安全规范.然后,在FPGA快速开发原型实验板上,利用mini-PCI卡监控针对操作系统内核的每一次写操作.一旦发现有内核写操作,则将本次写操作(通过变换之后)与语义不变式集合作对比.如果与语义不变式集合中的某一个条目相符,则可以确认本次写操作是可信的,系统不做任何处理;如果不能与语义不变式集合中的任意一条项目相符,则可以判定本次写操作是不可信的,系统报警.实验证明了有效性. 展开更多

关键词 移动智能终端 操作系统安全 语义不变式

在线阅读 下载PDF 职称材料

“操作系统安全”新型教学模式的探索——北大教学网的应用与实践 被引量：2

16

作者 沈晴霓 卿斯汉 《现代教育技术》 CSSCI 2010年第S1期32-33,26,共3页

北大教学网是集网络教学、数字资源管理、在线视频课堂和校园社区诸功能为一体的综合性网络平台。通过北大教学网的应用和实践,"操作系统安全"在教学资源发布和共享、实验课开设、课程项目建设、作业监管、知识结构拓展等多... 北大教学网是集网络教学、数字资源管理、在线视频课堂和校园社区诸功能为一体的综合性网络平台。通过北大教学网的应用和实践,"操作系统安全"在教学资源发布和共享、实验课开设、课程项目建设、作业监管、知识结构拓展等多个环节新型教学模式上进行了探索。 展开更多

关键词 北大教学网 操作系统安全 实验课 课程项目 作业监管 知识结构拓展

在线阅读 下载PDF 职称材料

引用监控器概念在《操作系统安全》课程教学中的中心地位

17

作者 陈泽茂 赵俊阁 《北京电子科技学院学报》 2008年第3期74-77,共4页

引用监控器是安全操作系统中一个非常重要的概念。研究在操作系统安全课程教学中,以引用监控器为中心,把可信计算基、安全机制、安全模型、以及安全评测等看似零散的教学内容有机地组织起来,使学生能够系统地把握安全操作系统的设计和... 引用监控器是安全操作系统中一个非常重要的概念。研究在操作系统安全课程教学中,以引用监控器为中心,把可信计算基、安全机制、安全模型、以及安全评测等看似零散的教学内容有机地组织起来,使学生能够系统地把握安全操作系统的设计和开发所必备的基本概念和基础理论。 展开更多

关键词 教学法 教学研究 操作系统安全 引用监控器

在线阅读 下载PDF 职称材料

开源与可持续,才能保障操作系统的安全性

18

作者 迎九 《电子产品世界》 2021年第4期8-8,共1页

近日, 风河宣布推出云操作系统Wind RiverStudio,它是同领域首家且唯一的解决方案,为关键任务智能系统提供了全生命周期的一体化环境。这个平台环境无缝集成了远程边缘云计算、数据分析、系统级安全、5G 和AI/ML,由此提高了生产率、灵... 近日, 风河宣布推出云操作系统Wind RiverStudio,它是同领域首家且唯一的解决方案,为关键任务智能系统提供了全生命周期的一体化环境。这个平台环境无缝集成了远程边缘云计算、数据分析、系统级安全、5G 和AI/ML,由此提高了生产率、灵活性和上市速度。风河成立于1981 年,已发展了40 年,对安全操作系统是如何理解的? 展开更多

关键词 安全操作系统 云操作系统 智能系统 云计算 无缝集成 数据分析 全生命周期 平台环境

在线阅读 下载PDF 职称材料

物联网环境下嵌入式操作系统的安全性设计 被引量：6

19

作者 杨朋霖 陶利民 王海涛 《微电子学与计算机》 CSCD 北大核心 2018年第11期115-119,共5页

本文通过结合可信计算技术,并根据未来物联网网络环境下操作系统应用程序相对固定、内核状态相对稳定的特点,设计具有函数标签检测和地址空间检测功能的安全操作系统.该安全检测机制通过在内核函数首尾两端设置检查点标签和在时钟中断... 本文通过结合可信计算技术,并根据未来物联网网络环境下操作系统应用程序相对固定、内核状态相对稳定的特点,设计具有函数标签检测和地址空间检测功能的安全操作系统.该安全检测机制通过在内核函数首尾两端设置检查点标签和在时钟中断处理历程中设置地址检查来判断操作系统的运行时状况.同时,可信计算芯片在提供系统启动校验等功能的同时,还能够提供相关数据的校验和保密存储功能,提高了系统性能和可信性.经过试验,该操作系统安全检测机制能够实时监控系统状态以发现系统的异常,为未来物联网网络环境下操作系统安全提供有力保障. 展开更多

关键词 嵌入式操作系统安全 函数标签检测 地址空间检测 可信计算

在线阅读 下载PDF 职称材料

神州网信构建操作系统安全可控生态

20

《中国信息安全》 2018年第7期104-104,共1页

6月27日,由中国信息协会主办、神州网信技术有限公司承办的“打造先进技术平台,构建安全可控生态——操作系统升级之旅”主题峰会在北京举行.大会探讨了如何加快技术创新发展步伐,通过共同构建安全可控的先进信息平台来助力实现网络强... 6月27日,由中国信息协会主办、神州网信技术有限公司承办的“打造先进技术平台,构建安全可控生态——操作系统升级之旅”主题峰会在北京举行.大会探讨了如何加快技术创新发展步伐,通过共同构建安全可控的先进信息平台来助力实现网络强国的战略目标. 展开更多

关键词 操作系统安全 可控 生态 神州 操作系统升级 技术平台 信息平台 技术创新

在线阅读 下载PDF 职称材料