基于多级关键度的高可信安全关键系统 |
| |
引用本文: | 杨仕平,桑楠,吴新勇,熊光泽. 基于多级关键度的高可信安全关键系统[J]. 系统工程与电子技术, 2004, 26(2): 277-282 |
| |
作者姓名: | 杨仕平 桑楠 吴新勇 熊光泽 |
| |
作者单位: | 电子科技大学计算机科学与工程学院,四川,成都,610054 |
| |
基金项目: | 国家"十五"基金(41315040106);国防科技预研基金(2000J6.7.1.DZ0206)资助课题 |
| |
摘 要: | 为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构.为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守的防危访问控制规则.为实现该规则,采用了基于元对象的反射技术,并就如何使用反射技术实现不同关键度子系统间的可靠互动进行了详细讨论.最后,给出了实验结果,同时就该领域内的相关工作及发展方向进行了展望.
|
关 键 词: | 安全关键 多级关键度 防危核 高可信 反射技术 |
文章编号: | 1001-506X(2004)02-0277-06 |
修稿时间: | 2002-11-09 |
High dependable safety critical systems based on multilevel criticality |
| |
Abstract: | |
| |
Keywords: | safety critical multilevel criticality safety kernel high dependability reflection technology |
本文献已被 万方数据 等数据库收录! |
|