随机自治可生存调度算法研究

生存性是指信息系统在面临攻击、失效等灾难情况下仍能继续提供服务的能力。它强调以任务为本的理念,是信息安全保障技术体系的一个重要环节。其目标是在保证基本服务安全的情况下对非基本服务的快速恢复。因此,减少基本服务集合是平衡生存能力和性能代价的途径之一。本文提出的随机自治可生存调度(SASS)算法在细粒度无集中控制 制的基础上实现服务漂移的动态调度,它使用扩充了的TCP协议实现广域网环境自治的细粒度连接迁移机制。基于该机制给出了在生存性意义上的服务器状态转换图,并描述了随机自治可生存调度算法。     

一种增强关键服务可生存性的多目标资源重配算法

可生存性研究是网络安全技术发展所处的一个新阶段,如何使用有效的可生存技术来增强系统的可生存性是一个重要的研究内容.以应急响应需求为背景,提出了一种基于资源重配的多目标可生存性增强算法.该算法重点针对应急响应时间和受剥夺影响的非关键服务个数这两个限制条件,建立模型并求解,最后确定出合理的资源重配方案.实例分析和模拟的结果表明,该算法为关键服务的可生存性提供了保证,有效地提高了整个系统的可生存能力.     

系统可生存性研究综述

系统可生存性是信息安全的新研究方向，是对传统安全观念的突破和创新。本文首先给出了开展系统可生存性研究的必要性以及系统可生存性若干定义；基于此，结合可生存性的评测和增强技术研究，从计算系统可生存性、网络可生存性、服务可生存性以及软件可生存性4个角度，综述了可生存性的研究现状，并进行了国内外对比分析；随后探讨了可生存系统的设计与实现问题，最后描述了系统可生存性的发展趋势。     

可生存性分析方法研究

系统在受到入侵后依然能够提供必要服务,并在一定时间内恢复受侵害的服务是系统可生存性的本质要求,与传统的将可生存性作为非功能系统属性描述的方法不同,将可生存性作为系统统一系统功能来研究,并用形式化语言来描述,定义和计算是一种全的思路和方法,对可生存性分析阶段可以采用的方法进行了深入的研究,分析,其中重点阐述了工作流回溯,攻击树建立等可生存性需求分析的方法,并给出了可生存性量化分析的算法。     

基于随机Petri网的电信交换系统可生存性分析

网络系统的可生存性问题是系统安全领域的一个重点研究方向。讨论现有的系统可生存性的一般分析方法,确定系统的可生存属性,并采用随机Petri网(SPN)技术,分析电信交换系统生存性问题的特点。重点利用随机Petri网描述系统的失效-修复分析模型和性能分析模型,给出系统可生存性分析中主要指标的定量计算方法。系统仿真结果表明了该方法的有效、合理性。     

一种用于系统生存性分析的事件生成方法

生存性分析以事件分析为基础,考察系统在某一安全事件中提供服务的能力。介绍生存性分析中的事件库建设。提出一种基于弱点关联的目的驱动的事件生成方法,通过一个实例证明算法的准确性和高效性,为生存性分析系统进一步研究与设计奠定基础。     

可生存性及紧急算法特征分析

文章主要就无边界网络系统的可生存性问题及其解决方案-紧急算法两个方面进行分析。首先给出了作为网络信息系统发展方向的无边界系统的定义,分析其特征并引出无边界系统环境下的网络安全研究。然后提出满足安全新需求的无边界网络可生存性问题,分析了可生存性必须具备的特征及其与传统安全概念的区别,并简要分析了可生存系统的设计需求。最后着重分析了可以解决无边界网络可生存性问题的紧急算法的特征,给出了紧急算法的两种不同的定义描述,并对比分析了与传统分布式算法的不同,论文还就紧急算法的应用场合和开发策略进行了简单分析。     

基于模型检查技术的信息系统生存性研究

在运用Jha方法进行信息系统生存性研究时,没有分析不同攻击场景与系统节点失效之间的关联性,也未考虑系统提供多个服务情形下的生存性分析。针对上述问题,提出运用模型检查技术评价系统生存性的改进算法,建立多攻击场景、多个服务情形下系统生存性的计算模型,实例分析证明其具有较好的适用性。     

基于SPN的信息系统生存性分析建模研究

研究基于随机Petri网(SPN)的信息系统生存性分析建模方法.首先,将信息系统抽象为请求组件、通信组件、处理组件和存储组件4个部分;其次,将信息系统工作流程形式化描述和生存性分析建模相结合,并分别描述了通用信息系统、系统组件失效修复、串联并接、冗余以及具有可生存属性组件的随机Petri网建模方法.从而对系统形式化描述的同时对系统生存性能做了定性和定量分析;最后,仿真实验证明基于SPN建模方法分析信息系统生存性的有效性和准确性,并为可生存的信息系统设计提供理论基础和指导.     

一种新的云存储服务模型研究*

如何用可生存理论与技术来增强存储服务的可生存性是一个重要的研究内容。本文提出了一种基于云存储的可生存存储服务模型,对模型架构进行了详细设计和构造,并分别采用了一种存储服务模型可用性的度量方法(资源分配失效概率模型)进行了分析,通过该方法分析可得本文提出的可生存云存储服务模型能够满足较高的可生存性的需要。     

基于漏洞扫描技术的生存性分析系统的设计

分析了信息系统生存性分析技术的发展现状,并结合漏洞扫描技术提出了生存性分析系统的设计思路,设计了基于漏洞扫描技术的生存性分析流程,详细描述了生存性分析系统实现的框架结构、核心算法和模块化分,最后给出实验环境中生存性分析系统的输出结果。     

网络可生存性研究进展

网络可生存性研究是对传统的安全概念和技术的突破,已经成为网络安全研究的新方向。该文首先分析了可生存性与传统安全概念的差异,通过对网络可生存性研究现状的分析和概括,总结出了可生存性定义要素、测定标准、实现技术及相关研究的一些共识。然后对国外可生存性研究的主要进展——可生存系统分析方法SSA进行了深入探讨,并分析了网络可生存性研究的发展趋势,最后对实现可生存性的两种不同方法进行了对比分析。     

基于数据流的网络安全系统生存性评估研究

对网络安全管理系统建模及进行可生存性分析是一个非常重要的研究课题,但对于大型网络如何建模和评估生存性,尚无较好的解决方案。现存的两种评估生存性的方法存在较大局限性。提出了一种新的方法,分析邻接节点间的关系,用成熟的数学模型进行实现,使网络中间接的两个节点间形成一种生存性关系。理论分析和实验证明：该模型和算法是可行、有效的。可在不同状态下评估网络中可生存性,计算效率、适用性强于以前的算法。     

WSN操作系统可生存性技术的研究与实现

研究如何提高无线传感器节点系统的可生存性。在无线传感器网络节点系统TinyOS基础上,从外部攻击和内部错误2个方面考虑改进其生存性,设计一种简单实用的入侵检测与恢复机制,改进其调度机制为支持容错的实时调度策略。仿真实验表明,改进后的系统增强了可生存性,具有较高的能量效率。     

基于车载移动模型的DTN网络路由技术

从一体化联合作战出发,引出通信链路抗毁性、健壮性的重要性。分析造成网络中断和延迟的原因,建立基于典型的战车行进以及演习模式的“集结-展开”容迟容断网络移动模型,提出一种基于作战计划时间表精确物理位置信息结合信道状态信息的预测相遇机会路由算法,极大改善了网络消息投递率和延时。     

基于ISM的动态优先级调度算法

在嵌入式Linux操作系统的实时调度算法中,EDF调度算法不能解决负载过载问题。为此,引进对系统负载有着良好表现的SLAD算法和BACKSLASH算法。基于ISM算法思路,提出一种动态优先级调度算法。该算法能根据一段时间内负载过载的情况,灵活地调度EDF算法和SLAD算法,从而提高系统在正常负载和过载情况下的调度效率。对实时任务截止期错失率DMR指标的测试结果证明了其改进效果。     

Optimal elements separation in non-repairable phased-mission systems

Enhancement of the survivability of a system can be achieved by separating its elements. Since different elements can play different roles in fulfilling the system mission, the way in which they are separated strongly affects the achieved level of the mission survivability. Thus, the optimal separation problem arises. This paper formulates a new problem of optimal element separation in non-repairable phased-mission systems (PMSs) where the mission consists of multiple, consecutive and non-overlapping phases of operation. An accurate survivability analysis of a PMS must consider the statistical dependence of element states across phases as well as dynamics in system structure function and element failure behaviour. We suggest a method for finding the separation of the system elements that provides a maximal possible level of the PMS survivability while satisfying a certain separation cost constraint. A backward recursion algorithm is applied for determining the survivability of a vulnerable PMS. A genetic algorithm is used as an optimization tool in solving the newly formulated separation problem for PMSs.     

利用POMDP模型来增强分布式系统的生存性

针对分布式系统存在的状态信息不完全问题,引入部分可观察的马尔可夫决策过程(POMDP)模型到生存控制系统中.在该控制系统的构造过程中,结合前瞻的思想,提出一种简易、有效的搜索算法(NSL算法)来作出决策,从而在一定程度上弥补了现有生存控制系统的不足,提高了分布式系统的可生存性.     

分组交换网络调度算法——SFQ+的研究

分组调度是实现计算机网络QoS保证的核心问题。该文描述了SFQ+分组调度算法，在SFQ算法的基础上引入了DWCS的动态窗函数约束机制，并与传统的SFQ和DWCS算法作了比较，给出了算法的性能评价，对算法的扩展进行了展望。