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

摘要：

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

关键词： 安全关键 空间隔离 抢占门限 虚拟内存 嵌入式实时操作系统 嵌入式微内核

作者: 杨仕平 桑楠 熊光泽

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

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 1659-1668

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）