安全操作系统的设计

• 作者: 姜励 平玲娣 毛韡锋 陈小平
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全操作系统 强制访问控制 BLP模型 隐蔽信道 客体重用
• 年，卷（期）: 2006,（12）
• 所属期刊栏目: 安全技术
• 页码范围: 179-181,246
• 页数: 4页
• 分类号: TP309.2
• 字数: 4137字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.12.068

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	平玲娣	浙江大学计算机科学与技术学院	72	1386	15.0	36.0
2	陈小平	浙江大学计算机科学与技术学院	18	137	8.0	11.0
3	姜励	浙江大学计算机科学与技术学院	4	10	2.0	3.0
4	毛韡锋	浙江大学计算机科学与技术学院	1	8	1.0	1.0