基于Space系统的叠合式安全机制

• 作者: 刘金刚 轩浩
• 来源期刊: 计算机系统应用
• 关键词: Space系统 安全机制 形式化方法 Overlay文件系统 实用性
• 年，卷（期）: 2018,（5）
• 所属期刊栏目: 专论·综述
• 页码范围: 26-32
• 页数: 7页
• 字数: 6817字
• 语种: 中文
• DOI: 10.15888/j.cnki.csa.006321

摘要

基于Space系统(Space Operating System, SpaceOS)提出了一种叠合式安全机制, 该机制在保证安全性的同时具有实用性的特点. 首先对系统安全域进行划分, 定义了安全机制的要求. 提出了安全机制的设计思想, 通过形式化方法证明其达到安全的要求, 然后通过 Overlay 文件系统说明技术的可行性, 并将该安全机制应用于SpaceOS上. 最后对其进行性能测试, 安全性测试以及实用性测试. 测试表明, 叠合式安全机制具有安全性和实用性, 对SpaceOS运行速度影响很小, 具有实用价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘金刚	首都师范大学信息工程学院	92	985	18.0	26.0
5	轩浩	首都师范大学信息工程学院	1	0	0.0	0.0