计算机科学 ›› 2007, Vol. 34 ›› Issue (8): 289-292.

• 软件工程与数据库技术 • 上一篇    下一篇

改进增强型高安全等级操作系统SECIMOS的设计与实现

  

  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本课题得到国家863高技术研究发展计划项目(2002AA141080)、国家自然科学基金项目(No.60073022)和No.60373054)和中国科学院研究生院创新资金的资助.

  • Online:2018-11-16 Published:2018-11-16

摘要: 本文介绍了以Linux系统为基础,通过改进/增强法来开发高安全等级操作系统SECIMOS,给出了系统的实现框架,全面论述了其中的核心技术,如访问控制、追责机制、保证方法等.分析了改进/增强法存在的问题,指出应探讨更适合今后开发最高安全等级操作系统的方法.

关键词: 安全操作系统 访问控制 保证 TCSEC

Abstract: SECIMOS, a high-level secure operating system based on Linux is developed by the way of improve/enhance. Its design and implementation is discussed in this paper. The system framework and key techniques, including access control, accountability and assura

Key words: Secure operating system, Access control, Assurance, TCSEC

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!