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

安全操作系统开发方法的研究与实施

石文昌  
【学位授予单位】:中国科学院研究生院(软件研究所)
【学位级别】:博士
【学位授予年份】:2001
【分类号】:TP316

手机知网App
【引证文献】
中国期刊全文数据库 前10条
1 徐亮;;改进的BLP模型的建模及其应用[J];计算机与现代化;2013年04期
2 李萌萌;赵勇;;一种支持活动标记的访问控制标识方法[J];计算机工程与应用;2012年03期
3 张明西;韦俊银;张相峰;王以刚;刘晖;;主体完整性标记动态确定方案及其正确性证明[J];小型微型计算机系统;2011年04期
4 范艳芳;韩臻;曹香港;何永忠;;基于时间限制的多级安全模型[J];计算机研究与发展;2010年03期
5 黄卫菊;;基于uC/OS-Ⅱ的嵌入式安全操作系统的框架设计[J];广东输电与变电技术;2008年06期
6 聂晓伟;冯登国;;基于动态可信度的可调节安全模型[J];通信学报;2008年10期
7 黄卫菊;;应用嵌入式安全操作系统的框架设计[J];电力系统通信;2008年10期
8 陈驰;冯登国;徐震;;信息安全产品安全保证量化评估方法研究[J];电子学报;2007年10期
9 何建波;卿斯汉;王超;;对两个改进的BLP模型的分析[J];软件学报;2007年06期
10 何建波;卿斯汉;王超;;对一类多级安全模型安全性的形式化分析[J];计算机学报;2006年08期
中国博士学位论文全文数据库 前7条
1 高朝勤;信息系统等级保护中的多级安全技术研究[D];北京工业大学;2012年
2 范艳芳;重要信息系统强制访问控制模型研究[D];北京交通大学;2011年
3 杨霞;高可信嵌入式操作系统体系架构研究[D];电子科技大学;2010年
4 程亮;基于模型检测的安全操作系统验证方法研究[D];中国科学技术大学;2009年
5 黄勇;安全系统形式化设计与分析研究[D];浙江大学;2009年
6 谭良;可信操作若干关键问题的研究[D];电子科技大学;2007年
7 向冬;基于CC的工业数据采集系统开发方法研究[D];西北工业大学;2006年
中国硕士学位论文全文数据库 前10条
1 陈宇;Linux安全增强身份认证系统的研究与实现[D];中国科学院大学(中国科学院工程管理与信息技术学院);2017年
2 郑宇;面向安全应用的隔离核技术研究与实现[D];电子科技大学;2017年
3 张灯;面向多重独立安全等级架构的安全通信机制研究[D];西安电子科技大学;2011年
4 张明西;OpenID多级安全问题研究[D];东华大学;2010年
5 马祥顺;面向电力领域安全嵌入式操作系统的研究与设计[D];江苏大学;2008年
6 朱鸿伟;虚拟化安全关键技术研究[D];浙江大学;2008年
7 王利;基于Linux的访问控制增强技术研究与实现[D];解放军信息工程大学;2008年
8 王俊洲;基于ARM9的车载导航软件开发研究[D];西北农林科技大学;2007年
9 张利云;Linux操作系统中多安全策略框架及一致性研究[D];上海交通大学;2007年
10 黄卫菊;嵌入式安全操作系统及其通信模块的设计与开发[D];江苏大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 池亚平;樊洁;程代伟;;基于可信等级的BLP改进模型[J];计算机工程;2012年08期
2 胡勇强;伍红兵;俞海英;龙瑞;;扩展的BLP模型及其应用[J];计算机工程;2010年08期
3 范艳芳;韩臻;曹香港;何永忠;;基于时间限制的多级安全模型[J];计算机研究与发展;2010年03期
4 司天歌;谭智勇;戴一奇;;一种对多级安全模型安全性的分析方法[J];计算机研究与发展;2008年10期
5 张晓菲;许访;沈昌祥;;基于可信状态的多级安全模型及其应用研究[J];电子学报;2007年08期
6 武延军;梁洪亮;赵琛;;一个支持可信主体特权最小化的多级安全模型[J];软件学报;2007年03期
7 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
8 谷千军;王越;;BLP模型的安全性分析与研究[J];计算机工程;2006年22期
9 李瑞轩;赵战西;王治纲;卢正鼎;;一种基于访问历史的BLP模型[J];计算机科学;2006年07期
10 张相锋,孙玉芳;Biba模型中严格完整性政策的动态实施[J];计算机研究与发展;2005年05期
中国博士学位论文全文数据库 前10条
1 范艳芳;重要信息系统强制访问控制模型研究[D];北京交通大学;2011年
2 耿秀华;基于证书的信任管理研究[D];北京交通大学;2009年
3 张兴;无干扰可信模型及可信平台体系结构实现研究[D];解放军信息工程大学;2009年
4 黄勇;安全系统形式化设计与分析研究[D];浙江大学;2009年
5 赵勇;重要信息系统安全体系结构及实用模型研究[D];北京交通大学;2008年
6 於光灿;协作环境中访问控制模型研究[D];华中科技大学;2008年
7 赵佳;可信认证关键技术研究[D];北京交通大学;2008年
8 崔修涛;支持位置感知的协作环境及其关键技术研究[D];华东师范大学;2008年
9 刘益和;应用区域边界安全体系结构的模型研究[D];四川大学;2005年
10 杨仕平;分布式任务关键实时系统的防危(Safety)技术研究[D];电子科技大学;2004年
中国硕士学位论文全文数据库 前10条
1 燕立明;汽车电子操作系统存储保护机制的设计与实现[D];电子科技大学;2013年
2 王晓宇;用户数据的多重保护技术研究与应用[D];大连海事大学;2010年
3 欧阳伟;CORBA中间件协议层优化研究[D];中南大学;2009年
4 胡大磊;操作系统访问控制研究与实现[D];中国科学技术大学;2009年
5 刘鹏;简单操作系统安全机制研究与设计[D];天津大学;2007年
6 王晏晏;基于Windows CE.NET和ARM9内核微处理器的嵌入式监控系统通信接口的研究与开发[D];华北电力大学(北京);2006年
7 陆连浩;安全操作系统中的隐蔽通道研究[D];浙江大学;2006年
8 江维;嵌入式操作系统安全机制研究与扩展实现[D];电子科技大学;2006年
9 鲍国彬;嵌入式工业控制终端文件系统的研究与设计[D];福州大学;2006年
10 徐斌;基于Mobile GIS的车辆导航系统开发研究[D];长安大学;2005年
【二级引证文献】
中国期刊全文数据库 前10条
1 范艳芳;蔡英;;支持协作的强制访问控制模型[J];计算机研究与发展;2015年10期
2 王榕;张敏;冯登国;李昊;;数据库形式化安全策略模型建模及分析方法[J];通信学报;2015年09期
3 马萌;唐卓;李仁发;熊燎特;;基于条件随机场的改进型BLP访问控制模型[J];计算机科学;2015年08期
4 宋法根;;一种基于事件分类的安全模型[J];软件导刊;2015年03期
5 苏铓;李凤华;史国振;;基于行为的多级访问控制模型[J];计算机研究与发展;2014年07期
6 蔡路亭;徐金甫;丁琦;张立朝;;基于地址加扰的嵌入式系统安全防护研究[J];电子技术应用;2014年07期
7 李高科;蔡晓蕾;吴卉;;基于CMM思想的地铁信号系统监理过程改进研究[J];铁路计算机应用;2013年09期
8 柳耀;李沛武;;分组安全信息共享系统的时间约束研究[J];计算机与现代化;2013年08期
9 曹利峰;李中;陈性元;冯瑜;;基于XML的数据客体与安全标记绑定方法[J];计算机科学;2013年08期
10 熊金波;姚志强;马建峰;李凤华;李琦;;基于行为的结构化文档多级访问控制[J];计算机研究与发展;2013年07期
中国博士学位论文全文数据库 前9条
1 陈昊;高可信嵌入式系统软件的关键技术研究[D];电子科技大学;2018年
2 裴新;云存储中数据安全模型设计及分析关键技术研究[D];华东理工大学;2016年
3 陈飞;智能电网信息安全交互模型及关键技术研究[D];华北电力大学(北京);2014年
4 熊金波;云计算环境中文档安全访问与自毁研究[D];西安电子科技大学;2013年
5 任慰;以实时操作系统为中心的嵌入式系统平台化设计研究[D];华中科技大学;2013年
6 龚雷;应用安全透明支撑平台体系结构与模型研究[D];解放军信息工程大学;2013年
7 盖新貌;终端信任链理论模型及其实现机制研究[D];国防科学技术大学;2013年
8 高朝勤;信息系统等级保护中的多级安全技术研究[D];北京工业大学;2012年
9 马健丽;信息系统安全功能符合性检验关键技术研究[D];北京邮电大学;2010年
中国硕士学位论文全文数据库 前10条
1 林宇冰;数据中心虚拟化安全的研究与应用[D];福州大学;2017年
2 王正敏;基于卫星广播技术的新疆农村信息推送系统的研究与实现[D];新疆农业大学;2016年
3 王娇;TVOS智能终端机顶盒安全方案的设计与实现[D];西安电子科技大学;2015年
4 周秀;基于任务的访问控制在海洋云平台上的应用研究[D];中国海洋大学;2015年
5 魏来星;基于DM6467的视频处理技术应用研究[D];中国科学院研究生院(西安光学精密机械研究所);2015年
6 张琳;动力定位冗余控制器设计研究[D];哈尔滨工程大学;2015年
7 朱飞燕;基于北斗的多模智能车载信息服务终端硬件设计[D];西安工业大学;2014年
8 刘怡真;基于移动GIS位置显示系统的设计与开发[D];河南理工大学;2014年
9 朱廷兴;军用软件开发平台内部威胁安全控制机制研究[D];哈尔滨工程大学;2014年
10 张冰洋;全自动固相萃取仪控制系统的设计与实现[D];中南民族大学;2013年
【相似文献】
中国期刊全文数据库 前10条
1 张俊;张亮;杜子平;;基于知识转移视角的信息系统开发方法的比较[J];图书馆学研究;2011年01期
2 夏红霞,鄂勇辉,钟才明;实用小型信息系统开发方法[J];微机发展;2000年04期
3 孙焱;赵璐;;主流系统开发方法比较分析[J];通讯世界;2016年21期
4 邹少琴;;以多智能体为基础的复杂信息系统开发方法分析[J];科技展望;2015年02期
5 刘丹;谢益武;;面向智能体的信息系统开发方法研究[J];计算机技术与发展;2006年03期
6 陈元桥;以人为中心的交互系统开发方法[J];世界标准化与质量管理;2003年10期
7 魏爱鹏;田立娜;刘建国;;基于汇聚工程的维修器材信息系统开发方法[J];科学技术与工程;2007年11期
8 张世民;;信息系统开发方法比较[J];电脑知识与技术;2006年14期
9 姜同强;计算机信息系统开发方法体系结构研究[J];管理信息系统;1999年03期
10 陈庆章;江雨燕;;系统开发方法和工具[J];计算机世界;1994年09期
中国重要会议论文全文数据库 前10条
1 龚智敏;李小红;;信息系统开发方法的选定[A];第十一届全国数据库学术会议论文集[C];1993年
2 俞金康;;信息系统开发方法的评述[A];2001年中国管理科学学术会议论文集[C];2001年
3 杨广明;史钰玲;高天寒;程维;;基于组件式WebGIS的设备管理系统开发方法研究[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
4 李建国;周俊武;战凯;迟洪鹏;;基于LabView的激光测量系统开发及在井下无人铲运机中的应用[A];第八届全国采矿学术会议论文集[C];2009年
5 李建国;周俊武;战凯;迟洪鹏;;基于LabView的激光测量系统开发及在井下无人铲运机中的应用[A];2010'中国矿业科技大会论文集[C];2010年
6 刘鹏;吴爱华;邹晓涛;;测绘生产管理信息系统的建立[A];数字测绘与GIS技术应用研讨交流会论文集[C];2008年
7 张晨东;徐光;;基于控件的作战模拟系统开发方法[A];第七届计算机模拟与信息技术学术会议论文集[C];1999年
8 田华;张克技;乔非;许维胜;王增利;萧蕴诗;吴启迪;;系统开发:理论、方法与过程[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
9 周凯;施蕾;;软硬件协同设计卫星产品的应用初探[A];全国第十二届空间及运动体控制技术学术会议论文集[C];2006年
10 张金隆;蔡淑琴;鲁耀斌;胡斌;詹文杰;马辉民;黄威;张千帆;;信息管理[A];2007-2008年管理科学与工程学科发展报告[C];2008年
中国博士学位论文全文数据库 前6条
1 石文昌;安全操作系统开发方法的研究与实施[D];中国科学院研究生院(软件研究所);2001年
2 闫琪;基于角色的多Agent系统开发方法研究[D];国防科学技术大学;2004年
3 林正奎;质量和功能目标驱动的大型复杂信息系统开发方法研究[D];大连理工大学;2006年
4 朱东来;多模型驱动的面向服务系统开发方法与技术研究[D];复旦大学;2009年
5 饶锡新;复杂装备系统开发方法研究与实践[D];南昌大学;2011年
6 叶志宝;支持企业业务过程持续改善的应用系统开发方法[D];中国科学院研究生院(软件研究所);2002年
中国硕士学位论文全文数据库 前10条
1 王利国;基于组件的信息系统开发方法[D];大连海事大学;2002年
2 王春雨;信息系统开发方法与评价研究[D];西南石油学院;2003年
3 李明;基于三层结构的系统开发方法与应用研究[D];河海大学;2004年
4 王璟瑞;基于虚拟仪器的自动测试系统开发方法的研究[D];四川大学;2005年
5 张帆;面向集成的异构信息系统开发方法研究与实现[D];上海交通大学;2011年
6 苗宁;基于MDA的企业信息系统开发方法研究[D];大连交通大学;2010年
7 谢凯宏;基于Visual Basic.NET的船舶维修价格评估系统开发方法[D];大连理工大学;2015年
8 刘杨;基于实体数据模型的信息系统开发方法研究[D];武汉理工大学;2010年
9 刘奇;株硬集团有限公司办公自动化系统升级方案研究[D];湖南大学;2012年
10 王彦;基于面向对象方法的学生管理信息系统分析与设计研究[D];西南交通大学;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026