收藏本站
《舰船电子工程》 2000年06期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

可信性概念与可信性计算系统的研究

袁由光  李海山  
【摘要】:正确分析评估计算机系统的可信性,综合权衡可靠性、可用性、安全性、健壮性,构成可信性概念与可信性计算系统研究,旨在探讨一种先进的可信计算系统体系结构,可信计算硬件、软件特性,使其对今后高可信计算机的开发和验证提供理论和方法。
【作者单位】中船重工集团七院七○九所 中船重工集团七院七○九所
【分类号】:TP309

【引证文献】
中国硕士学位论文全文数据库 前3条
1 丁东京;基于可信计算嵌入式平台下KVM的研究与改进[D];电子科技大学;2007年
2 许丽星;基于可信计算的手机访问控制研究[D];西南交通大学;2006年
3 张海明;EFI下可信链建立关键技术研究与实现[D];北京交通大学;2008年
【共引文献】
中国期刊全文数据库 前10条
1 赵明,宁滨;列车超速防护系统的自诊断研究[J];北方交通大学学报;1995年01期
2 龚元明,温跃年;火控计算机容错应用的一个实例[J];北京理工大学学报;1995年05期
3 侯朝桢,凌云,金玫;多机分布式火控设备故障诊断与自修复[J];北京理工大学学报;1997年03期
4 马秀娟,曹喜滨,徐国栋;小卫星星载计算机系统可靠性设计与分析[J];东北师大学报(自然科学版);2001年04期
5 苏小林!030013,孙爱东,何永华;微机励磁调节器中的容错技术[J];电力学报;1994年02期
6 曾献辉,路林吉,邵世煌;软件容错技术初探[J];电子技术应用;1997年09期
7 丁瑾,胡健栋;可修系统可靠性的实际概率分布[J];电子产品可靠性与环境试验;1994年04期
8 汪东升,郑纬民,杨孝宗;模块级可重构计算机HIT-FTC2的冗余管理[J];电子学报;1996年11期
9 蓝玉龙;提高计算机系统可靠性技术[J];广西教育学院学报;2000年04期
10 张凯,黄玉玺,顾长华,姜莉;PCI总线的热插拔技术及实现[J];国外电子元器件;2001年09期
中国博士学位论文全文数据库 前3条
1 周双娥;实时分布容错系统的任务调度技术研究[D];哈尔滨工程大学;2003年
2 南海鹏;基于PCC的智能控制水轮机调节系统研究[D];西安理工大学;2003年
3 韩炜;非相似容错计算机系统设计及其验证技术研究[D];西北工业大学;2002年
中国硕士学位论文全文数据库 前10条
1 李江宁;基于虚拟仪器的单片机电路板智能故障诊断仪[D];四川大学;2001年
2 周文君;基于CAN总线的双机并行铁路计轴系统的设计与实现[D];哈尔滨工程大学;2003年
3 刘庆宇;支线客机数字式自动驾驶仪研究[D];西北工业大学;2002年
4 杨国科;先进飞机电气系统汇流条控制器的设计与研制[D];西北工业大学;2002年
5 石斌;航空发动机高可靠性FADEC软件系统技术研究[D];西北工业大学;2004年
6 张炜;基于M-BUS的水表联网抄表系统[D];南京气象学院;2004年
7 盛菲;数控系统软件可靠性研究及应用[D];吉林大学;2004年
8 代征;弹性函数在弹性容错技术中的应用研究[D];武汉大学;2004年
9 陈建英;分布式并行数据库系统DPSQL中智能化重构的研究与实现[D];电子科技大学;2004年
10 赵奎;基于Internet的容灾系统及其管理工具的研究与实现[D];四川大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 张景安 ,曹素娥;网络安全技术在电子商务中的应用[J];福建电脑;2003年03期
2 李晓勇;沈昌祥;;一个动态可信应用传递模型的研究[J];华中科技大学学报(自然科学版);2005年S1期
3 刘海峰 ,卿斯汉 ,刘文清;安全操作系统审计的设计与实现[J];计算机研究与发展;2001年10期
4 付雄;程文青;郎为民;谭运猛;熊志强;;安全电子支付系统研究[J];计算机科学;2005年01期
5 王银江,凌力;JNI在安全加密系统效率改进中的应用[J];计算机工程;2004年12期
6 李云雪,苏智睿,王晓斌;基于Linux安全模块的通用框架研究与实现[J];计算机工程;2005年03期
7 秦中元;胡爱群;;可信计算系统及其研究现状[J];计算机工程;2006年14期
8 刘文清,卿斯汉,刘海峰;一个修改BLP安全模型的设计及在SecLinux上的应用[J];软件学报;2002年04期
9 卿斯汉;安全协议20年研究进展[J];软件学报;2003年10期
10 孔维广;可信计算平台的工作原理与应用研究[J];武汉科技学院学报;2003年06期
【相似文献】
中国期刊全文数据库 前10条
1 赵璞;;农业网络平台在农业生产中的传播功效[J];黑龙江农业科学;2011年07期
2 张帆;徐明迪;游林;;基于系统调用和进程代数CCS的行为建模方法[J];武汉大学学报(理学版);2011年05期
3 翟慎涛;顾健;占科鹏;;仿真模型可信度评估指标体系研究[J];系统仿真学报;2011年S1期
4 Justin Moon;;为医疗设备选择操作系统[J];中国医疗器械信息;2011年08期
5 霍静;;可信计算及其进展小议[J];科技信息;2011年22期
6 施光源;付颖芳;;一种基于多可信属性的证据模型建立方法[J];贵州师范大学学报(自然科学版);2011年03期
7 李向东;石云峰;李冈峨;;一种前向安全的电子档案签名方案[J];中原工学院学报;2011年03期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 何明;裘杭萍;杨飞;刘勇;;基于可信分布式系统的可信认证技术研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
2 王凡林;;会计信息系统规划特征与可信性关系研究[A];第九届全国会计信息化年会论文集(上)[C];2010年
3 郑利平;刘晓平;;仿真系统可靠性研究[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
4 郑利平;刘晓平;;基于风险分析的VV&A等级研究[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 王宝智;晁建刚;薛亮;刘伟波;王珺珺;邓华;常天春;;航天飞行训练模拟器(FTS)可信性概念研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
6 陈景君;;基于可信计算的云计算基础设施安全集成方案[A];天津市电视技术研究会2012年年会论文集[C];2012年
7 王承松;毛晓光;雷晏;王燕妮;;基于UML的可信概念模型[A];第六届中国测试学术会议论文集[C];2010年
8 韩建亚;吴智博;刘卓钺;景维鹏;;一种面向应用的多层次健壮性评测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
9 方滨兴;;前言[A];第26次全国计算机安全学术交流会论文集[C];2011年
10 艾静;王仲远;孟小峰;;C-Rank:一种Deep Web数据记录可信度评估方法[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
中国重要报纸全文数据库 前5条
1 本报记者 边歆;借可信计算防“黑屏”[N];网络世界;2008年
2 记者 魏东 通讯员 吴小羽;“计算机在线取证系统”获突破[N];科技日报;2009年
3 本报记者 邹大斌;虚拟化离我们很近[N];计算机世界;2009年
4 本报记者 那罡;“一KEY通”解决等级保护基础难题[N];中国计算机报;2010年
5 Capgemini公司CTO Andy Mulholland;技术和业务模型[N];中国计算机报;2009年
中国博士学位论文全文数据库 前7条
1 郑利平;仿真VV&A分析和管理方法研究[D];合肥工业大学;2008年
2 安鹏;基于四重化冗余技术的高可信性计算平台研究[D];清华大学;2009年
3 杨晓晖;软件行为动态可信理论模型研究[D];中国科学技术大学;2010年
4 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
5 江维;任务关键实时系统的可信感知调度研究[D];电子科技大学;2009年
6 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
7 李兵;自适应软件关键技术研究[D];吉林大学;2012年
中国硕士学位论文全文数据库 前10条
1 张志和;B2B电子商务平台的可信性评估[D];浙江工业大学;2009年
2 吕宏武;自律可信系统模型及评价研究[D];哈尔滨工程大学;2009年
3 尹健良;业务构件可信性的保证机制及其度量的研究初探[D];华中科技大学;2008年
4 汤丹;基于消息队列的工作流引擎及容错设计[D];中南大学;2008年
5 林鹏;软件系统可信性与软件过程改进的关联关系研究[D];北京邮电大学;2011年
6 金运帅;基于可信计算的安全发布技术研究[D];浙江工商大学;2010年
7 王灿;基于过程改进的软件可信关联因素研究[D];北京邮电大学;2011年
8 林海玉;MEBN与BKPF相结合的软件异常行为预测[D];湖南工业大学;2011年
9 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年
10 Hamza I.Bangura;基于Z规格的软件缺陷形式化方法[D];天津大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026