基于SM-PEPA可生存系统认知模型及量化分析

为解决可生存系统的自主管理和维护问题以保持关键服务的持续提供,提出一种基于SM-PEPA的系统认知形式化模型及量化分析方法.首先建立了具有分层认知能力的可生存系统认知模型,即服务认知子层、网络认知子层和接入认知子层,然后提出了一种由策略库发起驱动基于认知环MDE的认知单元自管理模型,并通过可生存系统的生存状态转换图,构建了可生存系统认知性能分析框架.在此基础上,结合对可生存系统认知能力的形式化描述,将其转化为一个半马尔可夫过程,对模型进行了量化分析.仿真试验分析了不同参数变化对系统可生存性的影响,试验结果验证了所提方法的有效性和合理性.     

一种瞬态可生存性评估模型

深入分析了可生存性的内涵,针对系统在失效环境下的动态行为,从基本服务和及时性两个角度出发,考虑失效及其失效损失,定量地评价系统的可生存性.所建立的模型采用安全性数据集进行了验证,结果表明提出的瞬态可生存性评估模型是有效的.     

信息系统的可生存性建模与分析研究

首先对可生存性的定义以及其相关概念进行了描述与比较,接着针对目前可生存性的大多数定义不能判断一个系统的可生存性状况,对可生存性的建模与分析方法进行了深入的研究,把模型检测与函数分析的方法相结合提出了基于Petrinet的网络可生存性的建模与分析方法,最后对可生存性分析进行了总结与展望。     

入侵容忍的Quorum系统及其可生存性分析

针对入侵容忍系统的一致性问题,提出一种基于Quorum结构的系统构建方法。以可信实时计算基为平台,采用同步和异步混合的时间模型,实现了客户端的读写协议、服务器的数据更新协议和数据复制协议。构造了入侵容忍的对称Quorum系统、对称网格Quorum系统和非对称Quorum系统,从系统预期失效时间的角度分析了3种入侵容忍Quorum系统的可生存性,得出预期失效时间变化趋势与门限值、系统规模之间的关系。与其他Quorum系统相比,在规模相同的情况下,提出的非对称入侵容忍Quorum系统的可生存性最高,高于f屏蔽Quorum系统,对称网格入侵容忍Quorum系统的可生存性高于常规网格Quorum系统。     

基于工作流的电子商务交易订购系统建模

随着Internet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式。工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持。基于工作流技术为电子商务交易订购系统建立形式化模型。首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述。其次,应用工作流的CSP描述对电子商务交易订购流程进行建模。该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题。     

自适应Web QoS模型研究

描述了一种自适应Web QoS控制器模型。该模型通过对用户请求根据一定的请求分类策略进行分类以及动态监控和调整Web服务器配置参数的方法来达到要求QoS级别,使用启发式的禁忌搜索算法来求得QoS最优化配置,并通过仿真试验证实了使用此控制模型可有效保证网站的服务质量(QoS)。     

自适应Web QoS模型研究

描述了一种自适应Web QoS控制器模型。该模型通过对用户请求根据一定的请求分类策略进行分类以及动态监控和调整Web服务器配置参数的方法来达到要求QoS级别,使用启发式的禁忌搜索算法来求得QoS最优化配置,并通过仿真试验证实了使用此控制模型可有效保证网站的服务质量(QoS)。     

引入系统状态转移概率的可生存性量化评估模型

系统可生存性是网络安全研究的一个新方向,通过对系统可生存性进行评估,可不断完善系统体系结构,从而提高系统可生存能力.针对系统可生存性的量化问题,在深入研究现有的主要可生存性评估方法基础上,提出了系统可生存性的动态量化评估模型SQEM(Survivability Quantitative Evaluation Model),并对系统可生存性进行了形式化定义和数学解析.在SQEM模型中,引入了系统状态转移概率和动态设置指标权重的思想,使评估的准确性得到了提高.通过实例分析,证明了SQEM的可行性和有效性.     

基于工作流的电子商务交易订购系统建模

随着Intemet的高速发展和普及,电子商务已成为当前社会和经济发展中的一种重要交易方式.工作流技术的出现和迅速发展为电子商务系统业务流程的建模和实施提供了重要的技术支持.基于工作流技术为电子商务交易订购系统建立形式化模型.首先通过进程代数CSP的语法进行了定义,并采用CSP对常见的工作流模式进行描述.其次,应用工作流的CSP 描述对电子商务交易订购流程进行建模.该模型符合原子性要求,能够对电子商务交易订购过程中的系统响应、并发控制等一系列关键问题进行描述,有助于解决当前电子商务系统存在的诸多问题.     

可生存性研究综述

网络可生存性是网络安全研究的新方向，它突破了传统的网络安全的概念，从新的角度对网络安全问题进行研究。该文首先分析了可生存性与传统网络安全技术的差别，并给出了生存性的基本定义，然后介绍了可生存网络设计的两种设计方法，并提出了今后可生存性研究的趋势。     

一种基于门限RSA的容侵系统结构

指出了为保护大的服务器群组,继防火墙和入侵检测技术之后容侵技术已成为又一重要技术.提出了一种容忍入侵的体系结构,对系统组件采用冗余和多样性技术相结合,利用门限秘密共享技术实现系统的可用性和关键数据的保密性,来达到容忍入侵的目的.     

网络可生存性分析方法研究

本文通过对网络可生存性的研究,引入工作流的概念从系统和环境端进行可生存性需求分析,把可生存性建模分为基于物理结构、基于状态和基于服务组件三种模型．最后给出了一些可生存性研究的新方向。     

生存性分层评估方法及其应用

首先对目前传统生存性评估技术的SNA方法和层次化评估方法进行了比较;然后,结合两种方法的优点提出了新的生存性评估方法(SHEM);最后,对某新闻网的邮件服务器进行生存性评估,整个分析过程验证了SHEM方法的合理性和可操作性.该评估方法将可以广泛应用于重点行业和企业的安全评估,具有良好的应用前景.     

基于半马尔科夫过程的虚拟网络生存性模型

针对虚拟网络生存性缺乏准确的定量描述,提出了一种基于半马尔科夫过程的虚拟网络生存性模型。根据虚拟网络运行特征,重点引入虚拟网络重构状态以及认知状态,构建一种优化的虚拟网络状态转移图,并引入半马尔科夫理论,建立虚拟网络状态转移概率方程,构建基于半马尔科夫过程的虚拟网络生存性模型,最后通过仿真实验验证了虚拟网络生存性对各参量的敏感度以及不同类型虚拟网络的生存性特点。仿真表明,降低网络部件发生故障的概率,提高虚拟网络攻击识别概率和虚拟网络重构成功概率可以显著提高虚拟网络生存性;在映射阶段进行资源备份可以显著增强军事虚拟网络生存性。     

开源Linux集群系统服务器池存活性技术研究

在对开源Linux集群系统服务器池存活性进行研究的基础上,提出了一个跨平台、实用的解决方案,该解决方案可以广泛应用于Linux高性能集群系统和负载均衡集群系统．     

光网络中一种基于生存性的资源预留机制

在动态、复杂的光网络传输系统中,提前预留作为保证网络服务质量的重要手段而被广泛应用。通过分析光网络环境下现有提前预留机制对生存性的影响因素,结合光网络中存在的脆弱链路问题,提出了一种基于生存性的资源提前预留机制及其模型。仿真结果表明,该机制可在保证资源利用率的情况下降低网络阻塞率,提高网络生存性。     

一种基于概率滑动窗口的应用层DoS攻击防御模型

网络上种类繁多的服务面临着复杂且不安全的生存环境, 多种因素威胁着服务的生存, 应用层DoS攻击就是其中的重要因素之一。然而, 当前防御应用层DoS攻击的方法存在着对合法用户请求的误判, 需要额外的硬件设备支持和难以抵御某些低速率攻击等不足。为此,提出了一种全新的应用层DoS攻击防御模型——基于概率的滑动窗口模型PBSWM (ｐrobability-ｂased ｓliding ｗindow ｍodel)。该模型位于应用层, 利用滑动窗口机制控制客户端发送的请求速率和服务器端接收的负载总量, 利用概率发送控制在源端阻滞攻击者发送引发较大负载的请求, 利用概率接受控制防止来自少量客户的请求占用系统的大部分应用资源。实验结果表明,该模型能够达到降低攻击损害、保障服务生存的目的。     

光网络中一种基于生存性的资源预留机制

在动态、复杂的光网络传输系统中,提前预留作为保证网络服务质量的重要手段而被广泛应用。通过分析光网络环境下现有提前预留机制对生存性的影响因素,结合光网络中存在的脆弱链路问题,提出了一种基于生存性的资源提前预留机制及其模型。仿真结果表明,该机制可在保证资源利用率的情况下降低网络阻塞率,提高网络生存性。