软件相异性对于系统安全的有效性分析

主流入侵检测系统的主要工作原理,是比较两个功能相似的软件在处理同样的输入时所得到的结果的异同来判断其中一个软件是否被恶意软件所入侵。在构造此类入侵检测系统时,一般假定所选定的软件拥有足够相异性,以至于他们不会同时被同一个恶意软件所攻破。通过针对2007年全年6000多个软件漏洞进行系统性分析来衡量这个假设的合理性。分析的结果表明98%以上的功能相同的应用软件都可以用来有效地构造此类入侵检测系统,将近半数的应用软件可以通过同时运行在多个操作系统平台上来有效地提高系统的安全性。

相异性软件组件选择算法设计

利用重用技术进行软件容错设计是改进软件可靠性快捷而有效的方法 ,该方法实现的关键是设计出一个能够从大量备选者中提取具有最大相异性定量值的软件组件 ,以构造软件版本的相异性组件选择算法 ,为此 ,给出了两个基于软件相异性参数来挑选软件组件的选择算法 ,分析、比较了不同参数与算法输出结果的关联关系 .上述算法实现简单 。

基于模糊重用库的容错软件开发

容错设计是改进软件可靠性的有效途径 ,然而由于设计多样性的实现很困难且开销大 ,导致该项技术目前仅应用于一些安全关键系统之中 .为此 ,提出了一种将重用技术引入到容错软件开发过程中的应用框架 .框架以模糊重用库为核心 ,增强的可靠性开发模型为基础 ,参数化可靠性指标为相异性设计的依据 ,简化了容错软件的开发过程 ,在方法和实践上改进了软件系统的可靠性 .介绍了重用库结构、增强的可靠性开发方法。

一种航天测控系统软件故障分析框架

在充分研究航天测控系统软件研发维护特点的基础上,通过引入相异性软件故障模型,结合软件故障检测和故障定位等分析方法,构建了一种基于功能组件的航天测控系统软件相异性故障模型,提出了一种具有较强针对性的航天测控系统软件故障分析框架,为航天测控系统软件故障分析的集成化研究提供了新思路。这种软件故障分析框架已在航天测控系统软件测试及软件故障问题排查等实际问题中得到有效应用,实践表明该框架对软件系统的研发维护及软件故障的快速分析定位具有重要意义。