基于Space系统的叠合式安全机制
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


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

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2017-08-21
  • 最后修改日期:2017-09-06
  • 录用日期:
  • 在线发布日期: 2018-03-12
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号