安全操作系统的设计

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