高可信实时操作系统中的空间隔离保护机制研究

来源 :2003中国计算机大会 | 被引量 : 0次 | 上传用户：hanxu0214

【摘要】

：

为了设计高可信的安全关键实时操作系统CRTOS2.0,在分析现有操作系统可信性保障机制的基础上,提出了基于空间隔离保护机制构建安全关键实时操作系统的新思想.空间隔离的目的

【作者】

：

杨仕平;桑楠;熊光泽;

【机构】

：

电子科技大学计算机科学与工程学院实时系统研究室(成都)

【出处】

：

2003中国计算机大会

【发表日期】

：

2003年期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了设计高可信的安全关键实时操作系统CRTOS2.0,在分析现有操作系统可信性保障机制的基础上,提出了基于空间隔离保护机制构建安全关键实时操作系统的新思想.空间隔离的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写.空间隔离机制主要通过嵌入式实时虚拟内存管理技术来实现,主要从三个方面降低了段页机制所引入的时空开销.空间隔离保护机制的提出,可从本质上增强安全关键实时操作系统的可信性.

其他文献

TMS320C5410与A/D和D/A接口设计

本文提出一种基于TMS320C5410的A/D、D/A转换系统,介绍了TMS320C5410、TLV2541ADC、TLV5636DAC的性能特点及它们之间的硬件连接和软件设计.该系统软、硬件设计简单,采用程序

会议

转换系统硬件设计硬件连接音频信号性能特点实时处理软件设计程序控制输出声音采集

面向属性的UML Statecharts测试生成

UML Statecharts刻画了对象在其生命周期中的行为.Statecharts测试的难处在于系统的状态空间和输入空间极其庞大.本文提出了一种面向属性的UML Statecharts测试方法,它根据一

会议

面向属性测试序列线性时序逻辑资源有限状态空间属性生成输入空间生命周期测试方法测试人员键性质点测试行为兴趣系统对象

电厂电力通信系统的完善与优化

随着社会经济高速发展,电力已经成为人们生活中必不可少的能源之一.电力系统最常用的通信方式是光纤通信、微波通信和载波通信.为了提高电力调度的可靠性,适应电力系统继电保

期刊

电厂电力通信系统完善与优化

ABC方法中的非功能Aspect建模

非功能属性的建模一直是软件构件技术研究中的薄弱环节.一方面在目前大多数构件模型中,非功能属性都是用描述性语言进行描述,缺少形式化、系统的建模手段;另一方面基于构件的

会议

基于粗糙集理论的遥感影像智能化特征选择

本文基于粗糙集理论,从利用原有特征集表达知识影像的方法出发,可以选出对于分类最有效的特征,并能给出重要的相关特征的不同组合,从而实现系统特征选择.从而不仅为遥感影像

会议

基于多内核处理器平台的IDE自动测试策略

本文针对特定的为多内核处理器开发应用程序的IDE的系统测试,提供了理论与实践的基础.测试过程中针对IDE自身及其相应处理器平台的特点提出相对应的测试方法,策略,技术和原则

会议

多内核处理器平台自动测试测试工具测试策略应用程序系统测试实践测试理论技术工作效率测试过程测试方法模型开发基础

基于改进差别矩阵的增量式规则提取算法

本文提出了一种新的基于差别矩阵增量式规则学习的算法.该算法能够同时进行确定性和非确定性规则的增量学习,同时给出了非确定性规则的置信度定义,这样在一定程度上提高了算

会议

粗糙集理论差别矩阵增量式规则提取

公安部打拐信息系统

本文对介绍公安部打拐信息系统的设计、系统功能和特点.采用多级、分布式数据库架构,实现打拐信息系统开发与实施.

会议

公安部打拐信息系统分布式数据库开发与实施系统功能设计架构多级

利用PCI9054实现ISA卡到PCI总线的移植

常用的ISA卡到PCI总线的移植方法都是针对没有用到DMA的ISA板卡的移植.对于少数必需使用DMA的ISA板卡还没有较好的解决方案.本文即提出这样一种方法,通过主模式接口芯片PCI90

会议

总线控制器移植方法板卡解决方案接口芯片主模式性能实验局部功能

促进学生深度学习理念下的核心问题教学研究

深度学习是指基于理解的学习,具有注重深层次理解知识、强调内容整合、学习态度主动积极、发展高阶思维等特征。学科核心问题有利于促进深度学习。通过研究课堂学科核心问题

期刊

深度学习核心问题教学

高可信实时操作系统中的空间隔离保护机制研究

与本文相关的学术论文