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

摘要：

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

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

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA141080;国家自然科学基金60073022;60373054;中国科学院研究生院创新资金资助项目

在线出版日期：2007-10-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：289-292,封4