检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到9篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

安全关键系统的防危性技术研究被引量：9: 1; 作者杨仕平熊光泽桑楠《电子科技大学学报》 EI CAS CSCD 北大核心 2003年第2期164-168,共5页; 为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言棗Open C++的实现机制,为防危核的实现探索了... 展开更多; 关键词安全关键系统防危性防危核反射可信性 OpenC++ 防危机制软件; 在线阅读下载PDF 职称材料

一种新的主动网络安全体系的设计被引量：5: 2; 作者黎忠文李乐民李美蓉《通信学报》 EI CSCD 北大核心 2004年第1期119-125,共7页; 尽管主动网络原型系统中设计了一些安全措施,但是它们都不具通用性且主要集中在security方面,这在主动网络必须和传统网络相兼容的情况下,阻碍了主动网络的发展。本文在定义消极型错误和积极型错误的基础上,设计了主动网络资源控制核。... 展开更多; 关键词主动网络安全体系资源控制核安全域 security safety; 在线阅读下载PDF 职称材料

基于多级关键度的高可信安全关键系统被引量：2: 3; 作者杨仕平桑楠 +1 位作者吴新勇熊光泽《系统工程与电子技术》 EI CSCD 北大核心 2004年第2期277-282,共6页; 为增强安全关键系统的可信性,在分析高可信保障机制现状的基础上,提出了一种集成式的高可信保障体系结构。为防止不同关键度子系统间的有害干扰,在分析信息安全领域内多级安全保障机制的基础上,研究了不同关键度子系统相互作用时应遵守... 展开更多; 关键词安全关键系统多级关键度防危核反射技术安全保障机制信息安全计算机安全; 在线阅读下载PDF 职称材料

一种新的主动节点资源安全管理机制被引量：3: 4; 作者黎忠文李乐民《计算机应用》 CSCD 北大核心 2003年第8期1-3,共3页; 较传统网络而言,主动网络的高复杂性引起了更加严峻的资源安全问题,特别在主动节点方面。尽管在主动网络原型系统中设计了一些安全措施,但是它们都不具通用性。这在主动网络必须和传统网络相兼容的情况下,阻碍了主动网络的发展。文中设... 展开更多; 关键词主动网络安全资源控制核资源使用策略; 在线阅读下载PDF 职称材料

基于元对象的防危核技术: 5; 作者陈宇李琪林 +1 位作者熊光泽幸红艳《计算机科学》 CSCD 北大核心 2002年第5期138-140,共3页; 1 引言安全关键系统指系统运行出错将造成严重的财产,甚至人员损失的计算机系统,这类系统广泛存在于航空航天、国防、交通运输、能源和医疗卫生等诸多领域中.近年来的研究数据显示,随着用户需求日趋复杂,计算机硬件可靠性的不断提高,... 展开更多; 关键词防危核技术元对象计算机可靠性; 在线阅读下载PDF 职称材料

支持MLS的多层次嵌入式高可信软件架构: 6; 作者杨霞雷剑熊光泽《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第6期1001-1005,1046,共6页; 为增强安全关键系统的高可信能力,在分析高可信保障机制现状的基础上,提出了一种多层次的高可信软件架构。该架构采用"时空分离"思想、虚拟机技术,为基于MLS的嵌入式安全关键系统提供了一种整体解决方案。基于该架构,研究了... 展开更多; 关键词 BLP安全模型信息流控制多级安全安全关键系统安全分离内核; 在线阅读下载PDF 职称材料

分布式控制系统防危体系的设计与实现: 7; 作者黎忠文李乐民《系统仿真学报》 CAS CSCD 2001年第S2期458-462,466,共6页; 软件的大量应用使大型分布式控制系统面临严峻的防危考验,迫切需要新的防危技术。防危核就是应运而生的一种新防危保障技术。本文探讨了把防危核技术直接移用于大型分布式控制系统存在的困难,首次提出了建立分布式控制系统防危体系的设... 展开更多; 关键词分布式控制系统防危核防危体系防危策略安全核; 在线阅读下载PDF 职称材料

软件安全核的可信性问题: 8; 作者黎忠文姚绍文《计算机科学》 CSCD 北大核心 2006年第1期170-174,共5页; 软件的大量应用,使控制系统面临严峻的安全考验,陷入了安全危机中,迫切需要新的安全保障技术。安全核就是应运而生的一种安全保障新概念,其可信性直接关系到安全核的有效性和系统的安危。面对安全核可信性问题,测试和限制安全核尺寸是... 展开更多; 关键词安全核可信性安全策略安全关键系统形式化原理交通灯软件安全保障技术控制系统复杂系统; 在线阅读下载PDF 职称材料

核心化多级安全数据库系统未决提交事务日志写出依赖研究: 9; 作者徐震张敏《计算机学报》 EI CSCD 北大核心 2006年第8期1438-1446,共9页; 核心化体系结构的多级安全数据库系统中不同级别事务由该级别DBMS实例处理,DBMS实例自行维护事务日志缓存.事务处理过程中高级事务可能读取已提交的低级事务数据,如果低级事务提交日志记录尚未写入持久存储,而高级事务已提交并且提交日... 展开更多; 关键词核心化体系结构多级安全数据库系统未决提交依赖图; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部