嵌入式系统可生存性分析模型研究

嵌入式系统的安全问题日益凸显,为此,提出一种嵌入式系统可生存性分析模型。借鉴近年来国内外研究成果,给出嵌入式系统可生存性的形式化定义,建立系统威胁、系统可生存性需求、系统可生存性策略3个子模型对嵌入式系统可生存性进行分析,形成一套系统可生存性分析的一般流程。实例分析表明,该模型能定量评估嵌入式系统的可生存性,并通过评估结果得到影响系统可生存性的主要因素。

嵌入式系统可生存性评估指标体系研究

嵌入式系统的广泛应用使嵌入式安全问题日益凸显,系统可生存性是信息安全新的研究方向,嵌入式系统可生存性的研究能更好地解决其安全问题。本文利用Delphi法建立了一套嵌入式系统可生存性评估指标体系,为嵌入式系统可生存性评估奠定了基础。

网络系统可生存能力量化评估的指标体系研究

在网络系统可生存性的四个关键属性基础上,采用层次化分析方法,将网络系统自上而下分成软件、硬件及运行环境三个影响因素层,提出了一套可提取、可观测、可操作的指标体系,并通过适当的算法进行量化计算,对结果进行分级评估分析,能在量化评估结果中反映网络可生存属性。通过实验验证,该指标体系使网络系统可生存能力量化评估更可行,使评估结果更有工程指导意义。

一种面向组合攻击效能评估的Enhanced LAMBDA描述语言

利用描述语言进行攻击建模能够更有效地刻画攻击细节。通过对网络攻击效能进行评估,可以对网络攻击的效果给出定性和定量的评价,检验攻击行为的有效性,有助于制定有效的网络安全策略。基于LAMBDA语言,扩充了时间约束和效能约束方面的描述能力,提出了一种增强的攻击描述语言Enhanced LAMBDA,并给出了Enhanced LAMBDA的应用实例。最后,利用DARPA数据集LLDOS1.0构造了网络组合攻击的测试场景,基于Enhanced LAMBDA对其进行效能评估。实验结果表明,Enhanced LAMBDA能有效支持网络组合攻击的效能评估。