安全多执行机制的无干扰性研究

• 作者: 张会兵 郭云川 马文辉
• 来源期刊: 软件
• 学科: 工学
• 关键词: 无干扰 安全多执行 反应系统
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 83-87
• 页数: 5页
• 分类号: TP311.1
• 字数: 4222字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2015.06.015

摘要

无干扰是安全信息流的一个重要需求，安全多执行（SME）是实施无干扰的一种重要方式。本文通过实例指出了反应系统中SME模型在并发调度下可能违背运行无干扰特性，分析了导致这种情况的原因，提出了相应的解决方案。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭云川	中国科学院信息工程研究所	21	48	3.0	6.0
2	马文辉	国家计算机网络应急技术处理协调中心新疆分中心	1	3	1.0	1.0
3	张会兵		2	3	1.0	1.0