安全Linux操作系统及安全Web系统的形式化建模与实现

ISCAS OpenIR > 中科院软件所 > 中科院软件所

	安全Linux操作系统及安全Web系统的形式化建模与实现
	刘克龙
专业	计算机应用技术
	2001
学位授予单位	中国科学院软件研究所
学位	博士
学位授予地点	中国科学院软件研究所
关键词	访问控制策略访问控制模型 Bell-lapadula模型安全操作系统安全web 服务器
摘要	本文在研究目前最流行的用来实现安全操作系统的形式化模型－Bell-LaPadula 模型的基础上，对该模型进行了面向实现的改造，解决了原有模型中由于系统状态的改变而有可能造成信息从高安全级向低安全级泄漏的问题，提出了基于“主体访问”的改进的 Bell-LaPadula模型－BLP~+ 模型，并相对于 Bell-LaPadula 模型的访问规则，给出了我们自己的面向实现的11条操作规则；并进而基于此形式化模型，实现了我们自己的拥有自主知识产权的国产安全操作系统－SecLinux安全操作系统。最后我们针对目前市场 WWW 系统安全性的迫切需求，针对目前对安全 WWW 系统的定义的众说纷纭，莫衷一是，提出了我们所理解的安全WWW系统的概念，并在SecLinux安全操作系统平台之上开发出我们自己的安全性应用－SecWeb高安全等级WEB服务器系统，使安全性问题的解决拥有一套自下而上的完整解决方案，达到安全性从操作系统到应用的一体化目标。
其他摘要	This paper is based on the research of "Bell-LaPadula Model" which is the most prevalent formal model used currently to implement a secure operating system. We have improved this model according to the need of realization, solved the problem existing in the original model which may incur revelation of information from the high security level to lower security level, advanced an improved Bell-LaPadula model named of "BLP~+ Model". For purpose of implementing, we brought forward ourselves' 11 operating rules, which were derived from the access rules of Bell-LaPadula Model. Based on this improved formal model, we then implemented the SecLinux, a native secure operating system, of which we own the independent copyright. Finally, in response to the pressing demand of a secure WWW system, and in order to clarify the ambiguous definition of such system, we advanced the concept of the Secure WWW System according to our understanding. We developed ourselves' security application, SecWeb, which is a WEB server system of high security level. Such a system constitutes an integrated solution for the security problems and achieves the goal of coherent security ranging from the operating systems to the applications.
页数	139
语种	中文
内容类型	学位论文
URI标识	http://ir.iscas.ac.cn/handle/311060/6286
专题	中科院软件所_中科院软件所
推荐引用方式 GB/T 7714	刘克龙. 安全Linux操作系统及安全Web系统的形式化建模与实现[D]. 中国科学院软件研究所. 中国科学院软件研究所,2001.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
LW004425.pdf（1829KB）			限制开放	--	请求全文