期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
可生存性分析方法研究 被引量:7
1
作者 夏春和 王继伟 +1 位作者 赵勇 吴震 《计算机应用研究》 CSCD 北大核心 2002年第12期28-32,共5页
系统在受到入侵后依然能够提供必要服务,并在一定时间内恢复受侵害的服务是系统可生存性的本质要求。与传统的将可生存性作为非功能系统属性来描述的方法不同,将可生存性作为系统统一系统功能来研究,并用形式化语言来描述、定义和计算... 系统在受到入侵后依然能够提供必要服务,并在一定时间内恢复受侵害的服务是系统可生存性的本质要求。与传统的将可生存性作为非功能系统属性来描述的方法不同,将可生存性作为系统统一系统功能来研究,并用形式化语言来描述、定义和计算是一种全新的思路和方法。对可生存性分析阶段可以采用的方法进行了深入的研究、分析,其中重点阐述了工作流回溯、攻击树建立等可生存性需求分析的方法,并给出了可生存性量化分析的算法。 展开更多
关键词 可生存性分析方法 计算机网络 网络安全 防火墙 可生存性需求分析 可生存性量化分析 工作流回溯 攻击树
下载PDF
网络服务系统可生存性分析与验证 被引量:3
2
作者 李良斌 王劲林 陈君 《沈阳工业大学学报》 EI CAS 北大核心 2012年第6期677-684,共8页
为了分析采用冗余组件的网络服务系统的可生存性,建立了攻击、抵抗和恢复的过程模型,基于服务与组件的依赖关系提出了系统可生存性的量化评估方法.分析了不同组件的系统可生存性评估值的敏感参数及贪心策略下的恢复优先级,采用着色Petr... 为了分析采用冗余组件的网络服务系统的可生存性,建立了攻击、抵抗和恢复的过程模型,基于服务与组件的依赖关系提出了系统可生存性的量化评估方法.分析了不同组件的系统可生存性评估值的敏感参数及贪心策略下的恢复优先级,采用着色Petri网设计了仿真工具,并以一个IPTV网络服务系统为例,验证了攻击强度、攻击密度和恢复强度对系统可生存性的影响.该方法将可生存性系统的运作过程建模为多种因素并行作用下的动态过程,并利用仿真工具对系统的可生存性进行了验证,其验证结果为可生存系统设计及可生存性增强策略提供了依据. 展开更多
关键词 可生存性分析 网络服务系统 冗余组件 攻击 抵抗 失效恢复 动态过程 着色PETRI网
下载PDF
基于GSPN模型的Ad Hoc网络可生存性分析 被引量:1
3
作者 刘梅霞 古天龙 《桂林电子科技大学学报》 2009年第2期82-87,共6页
Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性。经过分析Ad Hoc网络在考虑故障情况下多跳路由的可生存性,提出了可以表示网络中任意两个节点之间动态数据传... Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性。经过分析Ad Hoc网络在考虑故障情况下多跳路由的可生存性,提出了可以表示网络中任意两个节点之间动态数据传输关系,及网络受故障影响情况的广义随机Petri网(GSPN)模型。在此基础上,通过计算两个节点连通的概率,利用节点传输范围、节点平均邻居数目和故障频率这些参数,对网络的可生存性进行了分析,其分析结果对选取适当的节点传输范围或节点平均邻居数目有参考价值。 展开更多
关键词 AD HOC网络 可生存性分析 GSPN 节点平均邻居数目 传输范围 故障频率
下载PDF
基于模糊推理的网络可生存性的建模与分析 被引量:8
4
作者 刘密霞 张玉清 洪毅 《通信学报》 EI CSCD 北大核心 2009年第1期31-37,共7页
首先用对象Petri网对网络系统进行了形式化的描述与建模,接着构建了系统的攻击失效模型,并用模糊推理方法对系统在攻击发生时状态的变化进行了描述,最后在此基础上对攻击行为的严重程度和服务等级进行了有效量化,提出了分布式系统可生... 首先用对象Petri网对网络系统进行了形式化的描述与建模,接着构建了系统的攻击失效模型,并用模糊推理方法对系统在攻击发生时状态的变化进行了描述,最后在此基础上对攻击行为的严重程度和服务等级进行了有效量化,提出了分布式系统可生存的评价参数。这种在复杂攻击发生的早期推理分布式系统的生存能力的建模与分析方法可有效地度量贯穿攻击各阶段的系统的可生存能力,并为系统进行持续服务和进行应急响应提供可靠依据。 展开更多
关键词 可生存性 PETRI网 可生存性分析 模糊推理
下载PDF
网络安全管理系统的生存性建模与分析方法
5
作者 陈家庆 刘俊 张大方 《计算机应用》 CSCD 北大核心 2007年第12期2947-2950,共4页
对网络安全管理系统建模及进行可生存性分析是一个非常重要的研究课题,但对于大型网络如何建模和评估生存性,尚无较好解决的方案。现存的两种评估网络安全管理系统的生存性的方法存在较大局限性:割点法无法对大型网络进行分析;Monte-Ca... 对网络安全管理系统建模及进行可生存性分析是一个非常重要的研究课题,但对于大型网络如何建模和评估生存性,尚无较好解决的方案。现存的两种评估网络安全管理系统的生存性的方法存在较大局限性:割点法无法对大型网络进行分析;Monte-Carlo法只能区间估计,得不到准确值。提出了连通支路的分析方法,使用成熟的数学模型进行实现,并给出编程算法。对拓扑变化给生存性的影响做出分析,为建立完善的生存性分析平台打下了良好的基础。 展开更多
关键词 网络可生存性分析 蒙特卡洛法 割点法 定量分析
下载PDF
信息系统的可生存性建模与分析研究
6
作者 高昀 《甘肃科技》 2010年第21期34-38,共5页
首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生存性的建模与分析方法进行了深入的研究,把模型检测与函数分析的方法相结合提出了基于Petrinet的网络可... 首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生存性的建模与分析方法进行了深入的研究,把模型检测与函数分析的方法相结合提出了基于Petrinet的网络可生存性的建模与分析方法,最后对可生存性分析进行了总结与展望。 展开更多
关键词 可生存性 PETRINET 模型检测 可生存性分析
下载PDF
网络安全的随机模型方法与评价技术 被引量:92
7
作者 林闯 汪洋 李泉林 《计算机学报》 EI CSCD 北大核心 2005年第12期1943-1956,共14页
随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战.网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素.文章综述了网络安全性的随机模型... 随着网络系统逐渐复杂和庞大,特别是网络攻击和破坏行为的日益普遍和多样,网络安全性面临严峻的挑战.网络安全性研究已经成为国际上重大的科学问题之一,也是影响社会经济发展和国家发展战略的重要因素.文章综述了网络安全性的随机模型与评价技术等方面的研究工作,介绍了该领域的研究现状与进展,总结了网络安全性随机模型的若干研究方法和评价技术,分析了网络的可生存性.基于这些讨论,展望了未来网络安全性研究的新方向. 展开更多
关键词 网络安全 随机模型 攻击模型 可生存性分析 评价技术
下载PDF
MOMENT-METHOD ESTIMATION BASED ON CENSORED SAMPLE 被引量:4
8
作者 NIZhongxin FEIHeliang 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2005年第2期254-264,共11页
In reliability theory and survival analysis, the problem of point estimation based on the censored sample has been discussed in many literatures. However, most of them are focused on MLE, BLUE etc; little work has bee... In reliability theory and survival analysis, the problem of point estimation based on the censored sample has been discussed in many literatures. However, most of them are focused on MLE, BLUE etc; little work has been done on the moment-method estimation in censoring case. To make the method of moment estimation systematic and unifiable, in this paper, the moment-method estimators(abbr. MEs) and modified momentmethod estimators(abbr. MMEs) of the parameters based on type Ⅰ and type Ⅱ censored samples are put forward involving mean residual lifetime. The strong consistency and other properties are proved. To be worth mentioning, in the exponential distribution,the proposed moment-method estimators are exactly MLEs. By a simulation study, in the view point of bias and mean square of error, we show that the MEs and MMEs are better than MLEs and the “pseudo complete sample” technique introduced in Whitten et al.(1988). And the superiority of the MEs is especially conspicuous, when the sample is heavily censored. 展开更多
关键词 reliability theory survival analysis mean residual lifetime moment-methodestimation
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部