首页> 中文会议>2003中国计算机大会 >高可信实时操作系统中的空间隔离保护机制研究

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2003中国计算机大会》|2003年|1659-1668|共10页
会议地点北京
作者
杨仕平; 桑楠; 熊光泽;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类实时操作系统;微处理机;
关键词
安全关键; 空间隔离; 抢占门限; 虚拟内存; 嵌入式实时操作系统; 嵌入式微内核;

相似文献

中文文献
外文文献
专利

1. 高可信赖实时操作系统的防危调度机制 [J] . 杨仕平 ,桑楠 ,熊光泽 . 电子科技大学学报 . 2006,第001期
2. 高可信嵌入式计算机系统损毁机制研究 [J] . 郑敏娟 . 科技视界 . 2012,第006期
3. 可信计算的安全防护机制及其在高可信网络中的应用 [J] . 郝平 ,何恩 . 中国电子科学研究院学报 . 2008,第001期
4. 远端非可信平台Agent完整性保护机制研究与设计 [J] . 杨翠 ,谭成翔 . 计算机应用 . 2009,第011期
5. 三网融合高可信网络的视频版权保护及其应用 [J] . 姚远 . 信息网络安全 . 2011,第009期
6. 三网融合高可信网络的视频版权保护及其应用 [C] . 姚远 . 第26次全国计算机安全学术交流会 . 2011
7. 构件化高可信实时操作系统平台的研究与实现 [A] . 罗永和 . 2007

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

摘要

著录项

相似文献

相关主题

期刊订阅