【摘 要】
：
为了设计高可信的安全关键实时操作系统CRTOS 2.0,在分析现有操作系统可信性保障机制的基础上,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想.空间隔离保护的
论文部分内容阅读
为了设计高可信的安全关键实时操作系统CRTOS 2.0,在分析现有操作系统可信性保障机制的基础上,提出了基于时空隔离保护机制构建安全关键实时操作系统的新思想.空间隔离保护的目的是防止不同地址空间内的程序无意或恶意越界进行非法读写,而时间隔离保护的目的则是为了防止某程序长期独占或超时使用处理器而阻止或延迟其他程序的运行.为实现时间隔离保护机制,在改进传统处理器能力预留机制的基础上,基于两级调度的思想,提出了新的实现方法.时空隔离保护机制的提出,可从本质上增强安全关键实时操作系统的可信性.
其他文献
网络道德教育已成为当代大学生思想政治工作面临的十分艰巨和迫切的问题。正面引导是进行大学生网络道德教育的主渠道。通过引导大学生正确使用网络工具,培养大学生“有序”
<正> 改革的大潮,推动着企业的发展。经过十年的改革与发展,无锡无线电厂经历了由单一产品经济向商品经济转换,生产型向生产经营型转变;以及由单个“小而全”商品化生产向专
通过问卷调查，了解学校就业指导工作的现状及存在的问题，找出提高和改进的措施和办法，更加有效地做好学生就业指导工作。
数据网格是一种分布式数据管理体系结构,能够为分布在网格中的资源提供协同的管理机制.数据库管理系统在数据网格中发挥着重要作用,在各种数据库操作中,连接操作是一种最常用
<正> 海关关税是保护国家主权的一个重要组成部分,世界上几乎所有国家(个别自由港除外)都利用关税政策来调节进出口商品结构,保护和促进本国民族工业的发展。根据关税总协的
<正> 面对当今世界经济区域化、集团化。一体化的趋势,任何一个国家的社会化生产不可能只局限于本国国内,都要不同程度地参与国际分工和国际竞争。跨国经营是目前世界各国参
中国人民大学出版社出版的高职高专《英语》新教材充分体现了高职高专培养学生英语应用能力的教学目的，为使用好此教材，发挥教材特色，阐述《英语》新教材的特点、教学设计原则，并
经济全球化、信息网络化和城市化的迅速发展，使贫富之间的差距进一步拉大，农村的贫困人口处在更加窘迫的境地，而我国现在有九亿人口生活在农村，如此巨大的人口基数若不改变农村的
《九年义务教育小学数学教学大纲》指出:“数学教学要联系实际.……要从联系学生的生活实际开始。”现代教学论亦认为:数学源于生活,生活中又充满着数学,数学教育就应该寓于