Overlay Security Mechanism Based on Space Operating System
CSTR:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

轩浩,刘金刚.基于Space系统的叠合式安全机制.计算机系统应用,2018,27(5):26-32

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:August 21,2017
  • Revised:September 06,2017
  • Adopted:
  • Online: March 12,2018
  • Published:
Article QR Code
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-3
Address:4# South Fourth Street, Zhongguancun,Haidian, Beijing,Postal Code:100190
Phone:010-62661041 Fax: Email:csa (a) iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063