安全操作系统的设计

摘要：

SECOS是一个自主产权的安全操作系统,符合国家4级标准.该文总结了SECOS设计过程中的关键技术,包括:安全增强/改进设计方法,在Bell-La Padula 强制访问模型基础上修改建立的理论模型及其实现,系统开发过程形式化设计,隐蔽信道分析方法及防范措施,客体重用等.安全系统性能估算测试表明SECOS的设计和实现是成功的.

关键词：安全操作系统、强制访问控制、BLP模型、隐蔽信道、客体重用

所属期刊栏目：32

分类号：TP309.2(计算技术、计算机技术)

资助基金：科技部科技型中小企业技术创新项目;浙江省创新项目04C26223300568

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

页数：共4页

页码：179-181,246