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

	改进增强型高安全等级操作系统SECIMOS的设计与实现
其他题名	the design and implementation of high-level secure operating system secimos by the way of improvment/enhancement
	袁春阳; 李琳; 石文昌; 梁洪亮; 贺也平
	2007
发表期刊	计算机科学
ISSN	1002-137X
卷号	34 期号:8
摘要	本文介绍了以Linux系统为基础,通过改进/增强法来开发高安全等级操作系统SECIMOS,给出了系统的实现框架,全面论述了其中的核心技术,如访问控制、追责机制、保证方法等。分析了改进/增强法存在的问题,指出应探讨更适合今后开发最高安全等级操作系统的方法。
收录类别	wanfang,cnki
关键词	安全操作系统访问控制保证 Tcsec
部门归属	基础软件国家工程研究中心
资助者	湖南大学
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3756
专题	基础软件国家工程研究中心
推荐引用方式 GB/T 7714	袁春阳,李琳,石文昌,等. 改进增强型高安全等级操作系统SECIMOS的设计与实现[J]. 计算机科学,2007,34(8).
APA	袁春阳,李琳,石文昌,梁洪亮,&贺也平.(2007).改进增强型高安全等级操作系统SECIMOS的设计与实现.计算机科学,34(8).
MLA	袁春阳,et al."改进增强型高安全等级操作系统SECIMOS的设计与实现".计算机科学 34.8(2007).