本文已被：浏览 2367次 下载 1969次
Received:August 21, 2017 Revised:September 06, 2017
Received:August 21, 2017 Revised:September 06, 2017
中文摘要: 基于Space系统（Space Operating System，SpaceOS）提出了一种叠合式安全机制，该机制在保证安全性的同时具有实用性的特点.首先对系统安全域进行划分，定义了安全机制的要求.提出了安全机制的设计思想，通过形式化方法证明其达到安全的要求，然后通过Overlay文件系统说明技术的可行性，并将该安全机制应用于SpaceOS上.最后对其进行性能测试，安全性测试以及实用性测试.测试表明，叠合式安全机制具有安全性和实用性，对SpaceOS运行速度影响很小，具有实用价值.
中文关键词: Space系统 安全机制 形式化方法 Overlay文件系统 实用性
Abstract:In this study, we propose an Overlay security mechanism, which is secure and practical, based on Space Operating System (SpaceOS). Firstly, the system security domain is divided, and the requirement of security mechanism is defined. The design idea of security mechanism is put forward, and the security requirement is proved by formal method. Then, the feasibility of the technology is explained by Overlay file system, and the security mechanism is applied to SpaceOS. Finally, the performance test, security test, and practicability test are carried out. The test shows that the Overlay security mechanism is secure and practicable. It has little effect on the speed of the SpaceOS has practical value.
keywords: Space Operating System (SpaceOS) security mechanism formal method Overlay file system practicability
文章编号： 中图分类号： 文献标志码：
基金项目:
引用文本：
轩浩,刘金刚.基于Space系统的叠合式安全机制.计算机系统应用,2018,27(5):26-32
XUAN Hao,LIU Jin-Gang.Overlay Security Mechanism Based on Space Operating System.COMPUTER SYSTEMS APPLICATIONS,2018,27(5):26-32
轩浩,刘金刚.基于Space系统的叠合式安全机制.计算机系统应用,2018,27(5):26-32
XUAN Hao,LIU Jin-Gang.Overlay Security Mechanism Based on Space Operating System.COMPUTER SYSTEMS APPLICATIONS,2018,27(5):26-32
