【摘 要】
:
随着Internet的高速发展,安全问题显得日益重要,而传统的操作系统作为当前信息系统的安全基础,其采用的安全机制已不能满足一些关键安全领域的应用需求.由Green Hills公司开
【出 处】
:
2006北京地区高校研究生学术交流会
论文部分内容阅读
随着Internet的高速发展,安全问题显得日益重要,而传统的操作系统作为当前信息系统的安全基础,其采用的安全机制已不能满足一些关键安全领域的应用需求.由Green Hills公司开发的INTEGRITY-178B是当今市场上安全级较高的实时操作系统,已通过FAA DO-178B A级认证,目前正申请通用标准EAL6+级安全评估.本文以INTEGRITY-178B为例,分析了它的实现机制,着重研究了其为实现高安全性而采用的MILS结构与虚拟分区技术.
其他文献
目的:合成阿托伐他汀内酯及酰胺产物。方法:以阿托伐他汀缩合物(3)为原料,经酸脱保护基,碱性条件酯水解得阿托伐他汀内酯5,化合物5与侧链(4R,6R)-6-(2氨-乙基)-2,2二-甲基-1,
本文从网络安全检测评估的需求出发,分析网络安全检测评估过程中存在问题,提出一种面向工具集成的评估系统实现方案.
时间管理是工作流管理系统的关键部分,也是工作流技术实施于复杂企业应用的严重局限.时间管理的关键在于时间信息的有效建模.首先概述了时间建模与分析的研究现状,包括时间约
在Web环境下执行复杂业务流程时,客户端用户需要长时间等待服务器的响应而无法探知业务流程执行状态,这样导致应用的可操作性下降,界面响应迟钝.针对这一问题,本文提出了一种
循证医学研究证实,良好的血糖控制能有效降低糖尿病患者血管并发症和病死率。胰岛素作为控制血糖最有效的药物之一,在糖尿病的治疗中发挥着举足轻重的作用。纵观国内外,胰岛素治
基于UML类图描述了目前市政监管业务模式下的业务对象元模型,给出了市政监管核心业务流程的工作流模型.进一步提出了以工作流管理系统为市政监管业务应用核心支撑平台的系统
四、盆底处理通常市售的花盆都有底孔,无法用来栽培荷花,其实这一缺陷完全可以自己解决。笔者通常选常见的塑料花盆,再到早市上购买用于封堵各种破损塑料盆的粘性锡纸(加厚型
现代高性能战机所产生的加速度,其特点是增长率快;过载高;作用时间长并反复出现.离心机是航空医学用来监测飞行员过载承受能力的设备.高载荷飞行模拟器采用离心机作为运动平
负载平衡是指将一个任务分成可以并发执行的子任务,并将这些子任务映射到分布式系统中的计算资源上完成,从而缩短任务的执行时间,提高系统的资源利用率.在采用集中式调度的动
目的:研究复尔康注射液对人肝癌细胞株增殖及裸鼠移植瘤生长的影响。方法:采用CCK8试剂盒检测复尔康注射液对人肝癌细胞株SMMC-7721和BeL-7402增殖的抑制作用;建立SMMC-7721