安全操作系统的设计

作     者：毛韡锋 平玲娣 姜励 陈小平 MAO Weifeng;PING Lingdi;JIANG Li;CHEN Xiaoping

作者机构：浙江大学计算机科学与技术学院杭州310027 

基　　金：国家中小企业创新基金资助项目 浙江省创新基金资助项目(04C26223300568) 

出 版 物：《计算机工程》 (Computer Engineering)

年 卷 期：2006年第32卷第12期

页      码：179-181,246页

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

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

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0701[理学-数学类] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-3428.2006.12.068

馆 藏 号：203341028...