《福建电脑》2006年07期 加入收藏    获取最新 
 可信操作系统的模型设计研究
 潘东静;刘建军;吕文志
 　　对可信操作系统进行分析,探讨可信操作系统的设计原则,研究可信操作系统的主要安全模型,提出可信操作系统的内核设计原则。
【作者单位】：德州学院计算机系 山东德州253023
【关键词】：可信操作系统;安全模型
【分类号】：TP316
【DOI】：cnki:ISSN:1673-2782.0.2006-07-010
【正文快照】：
　　1.引言随着社会信息化的发展,计算机安全问题日益严重,各种对信息的窃取、篡改和破坏问题层出不穷,造成巨大的经济损失。因此防止攻击者渗透、非法入侵已被人们广泛关注,如何保证计算机的安全,建立安全防范体系的要求越来越强烈。在信息系统安全所涉及的众多内容中,操作系统、
 
 推荐 CAJ下载           PDF下载
 CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式
 【参考文献】 共（2）篇 
 中国期刊全文数据库找到 2 条
 
1张光,徐永强; 可信操作系统的设计 [J];电子科技; 2004年10期
2李芳,范玉妹,胡志兴; 操作系统安全模型研究及方案设计 [J];微计算机信息; 2004年09期
 【共引文献】 共（105）篇 
 中国期刊全文数据库找到 10 条
 
1张剑,肖正文; “虚拟存储”管理技术中的淘汰算法 [J];安徽教育学院学报; 2001年06期
2李世勇,肖竟华; 基于Linux驱动程序的编写技术 [J];电脑与信息技术; 2006年03期
3刘毅,余发江; 可信计算平台应用研究 [J];计算机安全; 2006年06期
4陈明恭; “操作系统”教学演示软件的一些设想 [J];福建师范大学学报(自然科学版); 2002年03期
5门爱华,范体贵; Internet蠕虫的分析与研究 [J];赤峰学院学报(自然科学版); 2005年04期
6陈晓红; 信管专业《操作系统》课程教学探讨 [J];电脑知识与技术(学术交流); 2007年07期
7张行素,刘晓洁,李涛; 在电子招投标系统中基于角色和任务访问控制的应用 [J];计算机安全; 2006年11期
8余姗云; 处理死锁的几种策略 [J];福建电脑; 2006年06期
9赵素萍; 进程互斥与同步——浅谈信号量的设置与使用 [J];福建电脑; 2003年10期
10潘东静,任传成,刘建军; 并发与死锁问题研究 [J];德州学院学报; 2005年06期
 中国优秀硕士学位论文全文数据库找到 10 条
 
1李绍松; 分布式并行文件系统安全的研究与实现 [D];电子科技大学; 2004年
2王启科; 分布式并行系统的高速缓存管理机制和用户一致性 [D];电子科技大学; 2006年
3李晓阳; 分布式系统中RBAC的设计与实现 [D];中国科学院研究生院（软件研究所）; 2005年
4贾丽娜; 基于USB盘的微型Linux桌面系统的设计与实现 [D];西安电子科技大学; 2007年
5李欢; 嵌入式实时操作系统访问控制技术研究 [D];电子科技大学; 2006年
6江维; 嵌入式操作系统安全机制研究与扩展实现 [D];电子科技大学; 2006年
7马妙霞; 基于Linux的强制访问控制机制及其安全测试自动化的研究 [D];北京交通大学; 2007年
8杨霞; 嵌入式操作系统信息安全核技术的研究与实现 [D];电子科技大学; 2004年
9黄鹏; 基于μC/OS-Ⅱ的车载实时操作系统研究 [D];武汉理工大学; 2006年
10郑裴; 基于μC/OS-Ⅱ的实时操作系统内核构建技术的研究 [D];西安电子科技大学; 2005年
 中国博士学位论文全文数据库找到 4 条
 
1吴新勇; 嵌入式操作系统安全保障技术研究 [D];电子科技大学; 2003年
2杨仕平; 分布式任务关键实时系统的防危（Safety）技术研究 [D];电子科技大学; 2004年
3刘益和; 应用区域边界安全体系结构的模型研究 [D];四川大学; 2005年
4周永彬; PKI理论与应用技术研究 [D];中国科学院研究生院（软件研究所）; 2004年
 【二级参考文献】 共（2）篇 
 中国期刊全文数据库找到 2 条
 
1石文昌,孙玉芳; 计算机安全标准演化与安全产品发展 [J];广西科学; 2001年03期
2石文昌 ,孙玉芳 ,梁洪亮; 经典BLP安全公理的一种适应性标记实施方法及其正确性 [J];计算机研究与发展; 2001年11期
 【相似文献】 
 中国期刊全文数据库
 
1潘东静,刘建军,吕文志; 可信操作系统的模型设计研究 [J];福建电脑; 2006年07期; 23+25
2肖军模; 对军用安全模型的扩展 [J];电子科技大学学报; 2005年02期; 43-46
3余祥宣，马建平; 安全模型的一种形式化方法 [J];计算机研究与发展; 1995年10期; 12-15
4金银秋; 银行储蓄信息系统安全模型探讨 [J];中南财经大学学报; 2000年06期; 87-89
5马建平，余祥宣，洪帆，张江陵; 一个完整的无干扰模型 [J];计算机学报; 1997年11期; 1034-1037
6宗华 ,朱凯; 基于PKI的移动办公自动化安全模型研究 [J];中国金融电脑; 2005年05期; 70-73
7马建平,余祥宣,宋善德; 一种面向对象系统安全模型 [J];华中理工大学学报; 1996年12期; 100-103
8李守鹏,孙红波; 信息系统安全模型研究 [J];电子学报; 2003年10期; 52-56
9黄河,陈楚湘; 企业技术创新信息管理系统的安全性设计 [J];华北水利水电学院学报; 2004年01期; 66-68
10赵庆松,张晓平; 安全操作系统和安全模型 [J];网络安全技术与应用; 2003年10期; 20-23
 中国优秀硕士学位论文全文数据库
 
1马小龙; 形式化验证在Office安全中的应用研究 [D];中国人民解放军信息工程大学; 2005年
2陈瑞; 信息系统安全性实现的理论和模型 [D];武汉理工大学; 2002年
3李晶; 基于电子商务的企业信息系统安全研究 [D];武汉理工大学; 2005年
4曾智; 数据库安全控制模型的研究与应用 [D];大连理工大学; 2004年
5邓珂; 数字版权管理中e-Book安全机制的研究和应用 [D];清华大学; 2004年
6刘波; 证券业计算机信息系统安全分析与解决方案 [D];吉林大学; 2004年
7李冬; 安全Linux操作系统的设计与研究 [D];西北工业大学; 2005年
8张利云; Linux操作系统中多安全策略框架及一致性研究 [D];上海交通大学; 2007年
9吕敏芳; 电子支付与电子现金安全技术研究 [D];上海交通大学; 2007年
10贾丽虹; J2EE与.NET互操作安全性的研究 [D];大连海事大学; 2007年
 中国博士学位论文全文数据库
 
1朱鲁华; 安全操作系统模型和实现结构研究 [D];中国人民解放军信息工程大学; 2002年
2单智勇; 多安全政策支持框架研究及其在安全操作系统中的实践 [D];中国科学院研究生院（软件研究所）; 2002年
3刘益和; 应用区域边界安全体系结构的模型研究 [D];四川大学; 2005年
4姚剑波; 基于句法分析的安全信息流 [D];贵州大学; 2006年
 中国重要会议论文全文数据库
 
1刘芳,戴葵,王志英,任江春,刘华; 信息系统多维安全属性的定量评估模型研究 [A];第九届全国青年通信学术会议论文集 [C]; 2004年
2李劲,钟景承; 探讨电力二次系统安全防护模型 [A];第三届广西青年学术年会论文集（自然科学篇） [C]; 2004年
3张涛,胡铭曾,云晓春,仲海梅; 信息系统安全评估的研究与进展 [A];全国网络与信息安全技术研讨会’2004论文集 [C]; 2004年
4王薇,高宝建,黄鹏宇; 基于CORBA的安全系统设计与实现 [A];2006年全国开放式分布与并行计算学术会议论文集（二） [C]; 2006年
5韩言妮,张忠平,王颖; 基于授权视图的访问控制模型 [A];2005年全国理论计算机科学学术年会论文集 [C]; 2005年
6郑彦树; SMARXO：一个优秀的信息共享和信息安全的体系结构 [A];'2005数字江苏论坛电子政务与地理信息技术论文专辑 [C]; 2005年
7蒋曹清; Java安全体系结构研究 [A];广西计算机学会2006年年会论文集 [C]; 2006年
 中国重要报纸全文数据库
 
1中国科学院; 电子政务商务关键技术取得新进展 [N];中国高新技术产业导报; 2003年