安全Linux操作系统及安全Web系统的形式化建模与实现
文献类型：学位论文
| 作者 | 刘克龙 |
| 学位类别 | 博士 |
| 答辩日期 | 2001 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 访问控制策略 访问控制模型 Bell-LaPadula模型 安全操作系统 安全WEB 服务器 |
| 学位专业 | 计算机应用技术 |
| 中文摘要 | 本文在研究目前最流行的用来实现安全操作系统的形式化模型－Bell-LaPadula 模型的基础上，对该模型进行了面向实现的改造，解决了原有模型中由于系统状态的改变而有可能造成信息从高安全级向低安全级泄漏的问题，提出了基于“主体访问”的改进的 Bell-LaPadula模型－BLP~+ 模型，并相对于 Bell-LaPadula 模型的访问规则，给出了我们自己的面向实现的11条操作规则；并进而基于此形式化模型，实现了我们自己的拥有自主知识产权的国产安全操作系统－SecLinux安全操作系统。最后我们针对目前市场 WWW 系统安全性的迫切需求，针对目前对安全 WWW 系统的定义的众说纷纭，莫衷一是，提出了我们所理解的安全WWW系统的概念，并在SecLinux安全操作系统平台之上开发出我们自己的安全性应用－SecWeb高安全等级WEB服务器系统，使安全性问题的解决拥有一套自下而上的完整解决方案，达到安全性从操作系统到应用的一体化目标。 |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 139 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6286]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 刘克龙. 安全Linux操作系统及安全Web系统的形式化建模与实现[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2001. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。