基于连续时间Markov的网络可生存性建模与量化

为了从故障恢复角度对网络可生存性进行全面有效的量化和分析,对网络可生存性建模和量化方法进行了研究。在给出Heegaard故障恢复模型及其状态转换过程的基础上,提出了一种改进的基于连续时间马尔可夫(CTMC)的网络故障恢复模型。改进的模型增加了故障状态模型,减少了故障恢复状态数。结合网络性能模型,提出了一种改进的基于CTMC的网络可生存性模型,模拟了网络故障后的生存状态转移过程。以丢包率作为量化指标,给出一种基于CTMC网络可生存性模型的网络可生存性量化方法,并简化可生存性计算过程。仿真结果表明,给出的建模与量化方法能够对网络可生存性进行更加全面、准确的量化。     

云计算系统认知生存模型及量化分析

从云计算演变而来的云安全已成为网络安全领域新的研究热点,而云安全中的可生存性研究尤为重要。首先分析了云计算系统可生存性的研究现状;然后基于认知计算技术提出云计算系统的认知生存性定义,讨论了云计算系统的认知生存能力;最后使用半马尔科夫性能进程代数（SM-PEPA）对认知生存模型建模,并对其进行了量化评估。仿真试验以认知生存指数作为评估指标,对生存性威胁的构成、抵抗攻击的能力、策略库的知识丰富度以及生存性威胁检测率等参数的取值结合实例模拟对云计算系统认知生存性的影响,通过求解模型的首次通过时间概率密度函数,验证模型对认知生存能力评估的合理性和有效性。     

可生存属性建模

为了对可生存关键属性进行建模和仿真,分析可生存性的4个关键属性;在提出对可生存关键属性进行建模的基础上,应用随机Petri网理论对这4个属性分别进行了建模;用Renew工具进行了试验,并给出了相关的java算法和程序;对试验进行了分析,验证了建模的正确性。研究结果对信息系统的可生存性量化分析和评估提供了有力的支持。     

网络服务系统可生存性分析与验证

为了分析采用冗余组件的网络服务系统的可生存性,建立了攻击、抵抗和恢复的过程模型,基于服务与组件的依赖关系提出了系统可生存性的量化评估方法.分析了不同组件的系统可生存性评估值的敏感参数及贪心策略下的恢复优先级,采用着色Petri网设计了仿真工具,并以一个IPTV网络服务系统为例,验证了攻击强度、攻击密度和恢复强度对系统可生存性的影响.该方法将可生存性系统的运作过程建模为多种因素并行作用下的动态过程,并利用仿真工具对系统的可生存性进行了验证,其验证结果为可生存系统设计及可生存性增强策略提供了依据.     

信息系统生存性的层次化计算

提出了一种基于有限状态机和层次化系统状态的分析模型来量化计算信息系统的生存性.通过系统定义和系统生存性测试逐层计算系统的生存性.定义系统为一种以系统服务为中心的层次结构，生存性测试是基于事件的分类分级来实现的，通过逐层计算系统的可抵抗性、可识别性和可恢复性来表示系统生存性.实例分析表明，这种基于层次化系统状态的生存性计算相比传统的基于系统状态的分析模型，避免了直接的状态定义和分析，具有更好的实际可操作性以及可编程性.     

基于QoS关联分析的分布式系统可生存性评估

可生存性分析技术的研究成果中缺少对运行系统进行在线、实时评估的方法, 而分布式系统的规模逐渐增加使得传统的基于数学模型的方法无法应用. 该文首先分析了服务质量(QoS)是系统生存性能力的外在表现形式; 其次, 提出基于服务质量属性关联分析的分布式系统可生存性层次化评估模型; 再给出了QoS之间关联性的计算方法以及对关键属性及分布式系统可生存性的量化评估方法; 最后, 在实验环境中考察了3种关键服务的一周生存性评估情况, 以及攻击时系统可生存性的变化情况, 并与其他算法进行了对比分析.     

基于GSPN模型的Ad Hoc网络可生存性分析

Ad Hoc网络的可生存性分析方法主要集中在利用马尔可夫链,分析考虑故障的一跳路由可生存性或者不考虑故障的多跳路由可生存性.经过分析Ad Hoc网络在考虑故障情况下多跳路由的可生存性,提出了可以表示网络中任意两个节点之间动态数据传输关系,及网络受故障影响情况的广义随机Petri网(GSPN)模型.在此基础上,通过计算两个节点连通的概率,利用节点传输范围、节点平均邻居数目和故障频率这些参数,对网络的可生存性进行了分析,其分析结果对选取适当的节点传输范围或节点平均邻居数目有参考价值.     

无线传感器网络可生存性评估研究

无线传感器网络(Wireless Sensor Networks, WSNs)由于其部署环境的特殊性,极易受到恶意攻击或发生故障,故对其可生存性量化评估的研究逐渐受到关注.本文提出了基于连续时间马尔可夫链的WSNs可生存性量化评估模型.该模型给出了遭受恶意节点攻击的WSNs状态转换过程,通过该模型实现了对网络的可靠性(考虑独立失效与相关失效)、可用性及生存性的定量分析.利用仿真实验对模型进行了验证.实验结果表明,所提出的模型能够有效评估WSNs的可生存性,并且可为今后设计高生存性的WSNs提供依据.     

基于云模型的网络系统状态评估与预测模型的研究

目前,国内外众多研究网络系统可生存性方面都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。本文以可信网络的可生存性为研究背景,首先分析了网络可生存性等关键问题;考虑到网络系统状态具有不确定性、随机性等特征,本文引入云模型和有限状态机理论来对网络系统状态来进行描述和检测,提出了基于云模型的网络系统状态评估与预测模型,并从理论上进行了具体的分析和求证;最后通过仿真实验与分析,进一步说明了本文研究的模型的可行性与合理性。这为当前错综复杂的网络系统的可生存性研究提供了一种有价值的新思路。     

一种网络可生存性检验模型的形式验证

提出了一种基于分布式仿真平台的可生存性验证模型,实现了对不同种可生存性模型的统一检验.使用有色Petri网验证表明,该模型满足可达、有界、公平等基本性质,形式验证为模型的实例化做好了准备.     

机动导弹系统战场生存能力评估

传统机动导弹系统生存模型考虑的因素较为片面,多以单次打击的毁伤概率为主,辅助决策的意义较低。基于机动导弹系统的任务流程,考虑其在战场环境下所应对的不同情形,提出有效的机动导弹系统战场生存能力评估模型。旨在通过模型分析敌我各战场因素对机动导弹系统生存状态的影响,为指挥员决策提供依据。     

高空无人侦察机生存力仿真研究

文章分析了高空无人侦察机的敏感性、易损性与生存力之间的关系.建立了高空无人侦察机生存力模型.通过仿真对高空无人侦察机生存力及主要影响因素--高空无人侦察机的航路捷径、飞行高度、飞行速度及雷达散射截面积RCS进行了研究.仿真结果表明,高空无人侦察机生存概率随航路捷径的增大、飞行高度的增高、飞行速度的提高及RCS的减缩呈阶梯状增加;而在相同生存概率的条件下,上述的生存力增强措施均能增加高空无人侦察机的突防距离.     

移动Ad Hoc网络中端到端通信性能定量评估建模分析

AdHoc网络作为一种新兴的无线移动自组织网络技术受到重视,如何对AdHoc网络进行可靠性评估是当前的研究热点。根据网络可靠性定义,针对移动AdHoc网络端到端通信性能的定量评估,利用连续时间马尔可夫链和M／M／I／K排队模型,提出一个全面考虑网络故障、过载和终端移动特性的复合网络模型,并通过“异常后丢包数”（ELF）、“异常后故障的转换延迟”（EDF）,定量地给出AdHoc网络可靠性的评估结果。模拟实验结果表明该模型能够较为准确地对移动AdHoc网络端到端通信性能进行可靠性评估。     

系统生存性增强技术研究

分析了增强系统生存性的方法和关键支撑技术,典型的生存性增强支撑技术主要包括:多要性冗、门限技术、自适应、隔离和修复以及Byzantine容错技术等.探讨了当前的研究现状和开放性问题,介绍了两类典型的可生存性系统,展望了未来的研究方向.     

基于系统结构和运行环境的系统生存性模型

软件系统安全问题日益严峻,软件生存性研究成为软件安全性研究的延伸和拓展,但是目前的生存性模型很多都不能提供一个可以指导实践的方法。该文研究系统结构和运行环境对系统生存性的影响,在服务的生存性模型中,考虑不同的环境对于服务生存性的影响,在进一步构架系统的生存性模型时,引入系统架构和服务之间的关系,以服务生存性为基础定义系统生存性。以该形式化的生存性模型为基础,结合系统运行环境给出了一个系统在提供的部分或全部服务失效时的恢复方案。     

企业营销力多级模糊综合评价方法的建立——以制药企业为例

基于目前国内对企业营销力的认识和成果,对企业营销力的内涵进行了重新界定,以价值力、销售力、持续力为核心构建了企业营销力的结构模型,并以制药企业为例,建立了3级评价指标的模糊综合评价模型,该模型为企业内部管理体系的完善和营销实践提供了操作工具.