收藏本站
《软件学报》 2002年04期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一个修改BLP安全模型的设计及在SecLinux上的应用

刘文清  卿斯汉  刘海峰  
【摘要】:建立了一个面向最小特权管理的修改BLP安全模型.该模型引入了角色管理、域隔离、隐蔽通道限制、病毒防护等概念,并实际应用于自主开发的安全操作系统SecLinux中.

【引证文献】
中国期刊全文数据库 前10条
1 刘文清,卿斯汉,刘海峰;一种用于操作系统安全内核的多级分层文件系统的研究与实现[J];电子学报;2002年05期
2 杨杰;;基于Linux的强制访问控制研究[J];电脑与电信;2008年11期
3 李中学;陈旺;;基于BLP的Web系统多级安全策略模型[J];后勤工程学院学报;2008年01期
4 陈旺;李中学;;BLP模型及其研究方向[J];计算机工程与应用;2006年13期
5 牟亚莉;曾浩;;基于可信验证的DBMS访问控制模型[J];计算机工程与应用;2008年04期
6 王昌达,鞠时光;BLP安全模型及其发展[J];江苏大学学报(自然科学版);2004年01期
7 庄毅;潘龙平;刘坤;;分布式资源安全监控系统模型的研究[J];南京航空航天大学学报;2006年01期
8 王琨;孙超;文峰;张霞;;基于扩展BLP模型的强制存取控制的研究与实现[J];沈阳理工大学学报;2006年02期
9 李红娇,李建华,诸鸿文;支持电子政务应用的安全操作系统的访问控制[J];上海交通大学学报;2005年08期
10 余志伟;唐任仲;;面向业务活动的信息系统安全模型[J];浙江大学学报(工学版);2007年11期
中国博士学位论文全文数据库 前10条
1 刘文清;《结构化保护级》安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
2 刘海峰;安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
3 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
4 汪伦伟;安全操作系统中基于可信度的认证和访问控制技术研究[D];国防科学技术大学;2005年
5 李栋栋;偏序结构下参数化的权限管理[D];中国科学院研究生院(计算技术研究所);2004年
6 綦朝晖;计算机入侵取证关键技术研究[D];天津大学;2006年
7 余志伟;面向业务过程的信息系统安全需求识别方法及其关键技术研究[D];浙江大学;2006年
8 李红娇;安全操作系统的访问控制与实时报警[D];上海交通大学;2008年
9 赵勇;重要信息系统安全体系结构及实用模型研究[D];北京交通大学;2008年
10 张健;工作流安全和访问控制若干问题研究[D];吉林大学;2008年
【同被引文献】
中国期刊全文数据库 前10条
1 赵勇;刘吉强;韩臻;;基于身份的盲签名在移动电子支付中的应用[J];北京交通大学学报;2007年05期
2 单冬,燕永田;计算机联锁控制系统安全性保障体系的一种模型[J];北方交通大学学报;1998年05期
3 廖建华;赵勇;沈昌祥;;基于管道的TCB扩展模型[J];北京工业大学学报;2010年05期
4 杨亚平,李伟琴,刘怀宇;基于角色的细粒度访问控制系统的研究与实现[J];北京航空航天大学学报;2001年02期
5 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期
6 丛珉,陆民燕,白云峰;软件可靠性预计方法研究及实现[J];北京航空航天大学学报;2002年01期
7 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期
8 吕宜洪,宋瀚涛,龚元明;基于RBAC改进模型的角色权限及层次关系分析[J];北京理工大学学报;2002年05期
9 张春;刘峰;王永亮;;Oracle数据库安全增强系统的设计与实现[J];北京邮电大学学报;2006年05期
10 徐亚妮,韩力群,赵霞;64位LINUX文件系统的分析及优化设计方案[J];北京工商大学学报(自然科学版);2002年01期
中国博士学位论文全文数据库 前10条
1 刘克龙;安全Linux操作系统及安全Web系统的形式化建模与实现[D];中国科学院软件研究所;2001年
2 李益发;密码协议安全性分析中的逻辑化方法——一种新的BAN类逻辑[D];解放军信息工程大学;2001年
3 黎忠文;分布式控制系统中新安全保障技术的研究——安全核技术[D];电子科技大学;2001年
4 王成良;制造企业信息集成平台若干安全性问题研究[D];重庆大学;2001年
5 陈宇;高可靠容错实时系统的支撑技术研究[D];电子科技大学;2001年
6 石文昌;安全操作系统开发方法的研究与实施[D];中国科学院研究生院(软件研究所);2001年
7 梁洪亮;支持多安全政策的安全操作系统的研究与实施[D];中国科学院研究生院(软件研究所);2002年
8 曹阳;基于三视图框架的分布式信息系统安全体系结构研究[D];中国人民解放军国防科学技术大学;2002年
9 刘文清;《结构化保护级》安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
10 侯俊杰;集成环境下产品开发方法及过程管理研究[D];西北工业大学;2003年
【二级引证文献】
中国期刊全文数据库 前10条
1 蒋发群;李艳波;;Linux访问控制安全测评[J];信息安全与技术;2010年09期
2 秦晰;常朝稳;沈昌祥;高丽;;容忍非信任组件的可信终端模型研究[J];电子学报;2011年04期
3 张羽;吴瑞;;仿真分析取证模型的形式化研究[J];福建警察学院学报;2010年01期
4 郑东曦;萧嘉杰;;基于BLP模型的移动存储管理系统的设计实现[J];广东科技;2009年14期
5 熊惠娟;;浅析网络环境下信息系统安全设计[J];电脑知识与技术;2011年18期
6 狄婧;;Android安全机制分析与解决方案探析[J];硅谷;2011年24期
7 郭蕾;褚文奎;田松;张凤鸣;;安全关键软件的需求递阶层次结构[J];电光与控制;2012年06期
8 朱业丰;;Android安全机制分析[J];电子世界;2012年14期
9 张坤;周万珍;孙秋红;;协同工作(CSCW)中的访问控制模型[J];河北工业科技;2009年05期
10 许可;;计算机通信安全与防护[J];黑龙江科技信息;2010年18期
中国博士学位论文全文数据库 前10条
1 刘文清;《结构化保护级》安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
2 孙波;计算机取证方法关键问题研究[D];中国科学院研究生院(软件研究所);2004年
3 覃志东;高可信软件可靠性和防危性测试与评价理论研究[D];电子科技大学;2005年
4 谭建龙;串匹配算法及其在网络内容分析中的应用[D];中国科学院研究生院(计算技术研究所);2003年
5 谭良;可信操作若干关键问题的研究[D];电子科技大学;2007年
6 吴江;基于本体的知识管理系统关键技术研究[D];西北大学;2007年
7 庞永刚;基于事件注入技术的网络可信性评测研究[D];哈尔滨工程大学;2007年
8 胡俊;高安全级别可信操作系统实现研究[D];中国科学院研究生院(电子学研究所);2008年
9 王昌达;隐通道可计算性的研究[D];江苏大学;2006年
10 刘巍伟;基于可信计算技术的移动代码安全研究[D];北京交通大学;2009年
【相似文献】
中国重要报纸全文数据库 前3条
1 ;基于Linux的高安全等级操作系统通过鉴定[N];中国高新技术产业导报;2005年
2 ;安全操作系统安胜为先[N];网络世界;2001年
3 天津大学自动化学院 李波;根上解决安全问题[N];中国计算机报;2001年
中国博士学位论文全文数据库 前1条
1 刘海峰;安全操作系统若干关键技术的研究[D];中国科学院研究生院(软件研究所);2002年
中国硕士学位论文全文数据库 前4条
1 刘富成;LINUX安全操作系统的研究与设计[D];山东大学;2008年
2 郭丽;基于Linux的安全操作系统的研究[D];昆明理工大学;2003年
3 张良;基于Linux的安全审计实现机制及其测试自动化的研究[D];北京交通大学;2007年
4 张勇;基于特征检测入侵检测系统的研究与改进[D];华东师范大学;2002年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026