收藏本站
《中国科学院软件研究所》 2001年
收藏 | 手机打开
二维码
手机客户端打开本文

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

刘克龙  
【摘要】:本文在研究目前最流行的用来实现安全操作系统的形式化模型─Bell-LaPadula模型 的基础上,对该模型进行了面向实现的改造,解决了原有模型中由于系统状态的改变而有 可能造成信息从高安全级向低安全级泄漏的问题,提出了基于“主体访问”的改进的 Bell-LaPadula模型─BLP~+模型,并相对于 Bell-LaPadula模型的访问规则,给出了我们自 己的面向实现的11条操作规则;并进而基于此形式化模型,实现了我们自己的拥有自主知 识产权的国产安全操作系统─SecLinux安全操作系统。最后我们针对目前市场上对WWW 系统安全性的迫切需求,针对目前对安全WWW系统的定义的众说纷纭,莫衷一是,提出 了我们所理解的安全WWW系统的概念,并在SecLinux安全操作系统平台之上开发出我 们自己的安全性应用─SecWeb高安全等级WEB服务器系统,使安全性问题的解抉拥有 一套自下而上的完整解决方案,达到安全性从操作系统到应用的一体化目标。
【学位授予单位】:中国科学院软件研究所
【学位级别】:博士
【学位授予年份】:2001
【分类号】:TP393.08;TP316.81

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 陈泽茂;沈昌祥;吴晓平;;基于密码隔离的恶意代码免疫模型[J];计算机科学;2008年01期
2 訾小超,姚立红,曾庆凯,茅兵,谢立;操作系统安全增强技术研究进展[J];高技术通讯;2003年07期
3 杨杰;;基于Linux的强制访问控制研究[J];电脑与电信;2008年11期
4 陈泽茂,沈昌祥;解释型病毒及其防御策略研究[J];计算机工程与应用;2004年19期
5 郭玮;茅兵;谢立;;安全操作系统中的安全管理增强功能[J];计算机科学;2004年01期
6 袁春阳;李琳;石文昌;梁洪亮;贺也平;;改进增强型高安全等级操作系统SECIMOS的设计与实现[J];计算机科学;2007年08期
7 李红娇,李建华,诸鸿文;支持电子政务应用的安全操作系统的访问控制[J];上海交通大学学报;2005年08期
8 孙波,张相峰,梁彬;基于安全操作系统的安全保障分析[J];小型微型计算机系统;2004年05期
9 陈泽茂,沈昌祥;安全操作系统中基于多策略的应用支持模型[J];计算机工程;2004年21期
10 王伟;;基于安全内核的主机防护系统研究[J];电脑知识与技术;2010年21期
中国重要会议论文全文数据库 前10条
1 罗莉;沈雁;;安全操作系统的开发和设计[A];第八次全国计算机安全学术交流会论文集[C];1993年
2 蔡谊;沈昌祥;;安全操作系统发展现状及对策[A];第十六次全国计算机安全学术交流会论文集[C];2001年
3 海军计算技术研究所安全操作系统课题组;;安全操作系统——SUNIX[A];第八次全国计算机安全学术交流会论文集[C];1993年
4 王建兵;谢永强;黎筱彦;戴浩;;基于CC标准的安全操作系统评估方法研究[A];第十七次全国计算机安全学术交流会暨电子政务安全研讨会论文集[C];2002年
5 李丽萍;卿斯汉;贺也平;;基于访问控制空间的多策略安全体系结构[A];全国网络与信息安全技术研讨会'2005论文集(下册)[C];2005年
6 梁洪亮;孙玉芳;;开放源码与信息安全[A];第十六次全国计算机安全学术交流会论文集[C];2001年
7 孙彬;毛伟;;支持单记录访问控制的扩展Handle系统[A];中国通信学会信息通信网络技术委员会2009年年会论文集(上册)[C];2009年
8 杨柳;李陶深;;Linux安全性分析[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
9 黎筱彦;谢永强;宫敏;刘正国;;安全操作系统的强制执行控制实现分析[A];第十八次全国计算机安全学术交流会论文集[C];2003年
10 杨涛;沈昌祥;李晓勇;;安全操作系统研究[A];第六次全国计算机安全技术交流会论文集[C];1991年
中国重要报纸全文数据库 前10条
1 PINO;企业资源需要保护[N];中国电脑教育报;2005年
2 记者 刘学习 杨华;国产安全操作系统达到B1级[N];计算机世界;2001年
3 ;安全操作系统安胜为先[N];网络世界;2001年
4 ;联想与30所推出Linux安全操作系统[N];科技日报;2000年
5 集纳;中软、神网、康柏联合推出国产安全操作系统[N];通信产业报;2001年
6 中国科学院软件研究所 孙波 梁洪亮 单智勇;安全从底层做起[N];计算机世界;2002年
7 天津大学自动化学院 李波;根上解决安全问题[N];中国计算机报;2001年
8 ;将信息安全建立在坚实的基础上[N];人民邮电;2000年
9 戴尔;铸造信息之“盾”[N];解放军报;2002年
10 王小瑞;ODay飘荡在安全天空的幽灵[N];中国计算机报;2006年
中国博士学位论文全文数据库 前10条
1 刘克龙;安全Linux操作系统及安全Web系统的形式化建模与实现[D];中国科学院软件研究所;2001年
2 鲁剑锋;访问控制策略的安全与效用优化方法研究[D];华中科技大学;2010年
3 刘孜文;基于可信计算的安全操作系统研究[D];中国科学技术大学;2010年
4 李红娇;安全操作系统的访问控制与实时报警[D];上海交通大学;2008年
5 汪伦伟;安全操作系统中基于可信度的认证和访问控制技术研究[D];国防科学技术大学;2005年
6 刘海峰;安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
7 梁洪亮;支持多安全政策的安全操作系统的研究与实施[D];中国科学院研究生院(软件研究所);2002年
8 赵庆松;安全操作系统的恶意代码防御技术的研究与实施[D];中国科学院研究生院(软件研究所);2002年
9 梁彬;可信进程机制及相关问题研究[D];中国科学院研究生院(软件研究所);2004年
10 单智勇;多安全政策支持框架研究及其在安全操作系统中的实践[D];中国科学院研究生院(软件研究所);2002年
中国硕士学位论文全文数据库 前10条
1 邹琦;移动介质信息安全系统授权策略的研究与应用[D];华中科技大学;2008年
2 王瑞娟;网络化制造动态联盟访问控制的研究与实现[D];吉林大学;2007年
3 高敬欣;基于RBAC技术的银行电子设备管理系统的设计与实现[D];中南大学;2006年
4 李璞;基于业务过程的GIS访问控制模型研究[D];大连理工大学;2007年
5 邓晓飞;分布式域数据模型的设计与实现[D];苏州大学;2008年
6 银彩燕;基于免疫应答机制的访问控制的研究[D];西安理工大学;2008年
7 李亮;面向开放环境的语义协同模型研究[D];扬州大学;2008年
8 窦文阳;普适访问控制的安全体系结构研究[D];陕西师范大学;2008年
9 李亚芳;网络环境下新产品开发团队知识共享方法与策略研究[D];上海交通大学;2009年
10 徐青山;访问控制模型在税收管理中的应用研究[D];兰州大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026