DDoS攻击分类与效能评估方法研究

DDoS攻击是一类常见而又难以防范的网络攻击模式，对Internet网络系统的正常运行构成了巨大威胁。DDoS攻击的分类方法和攻击效能评估是计算机网络攻防对抗研究的一项重要而紧迫的任务。本文介绍了DDoS攻击的原理、方法、一般概念和主要目标，研究了基于攻击代理的传播模式、通讯方式、作用机制等特征的DDoS攻击分类方法体系，分析了DDoS攻击的攻击效能评价指标体系。在分析了DDoS攻击效能评估的特点的基础上提出了DDoS攻击效能评估的模糊评价评估模型。     

计算机网络攻击效能评估研究

计算机网络攻击效能评估是计算机网络系统攻防对抗研究的重要而紧迫的内容。介绍了目前武器准备系统作战效能评估的发展现状、面临的主要问题和最新的发展方向;研究了基于机制、准则、指标三级的计算机网络攻击效能评估的指标体系的建立方法;在分析了计算机网络攻击效能评估的特点的基础上,提出了计算机网络攻击效能评估的网络熵评估模型、指标分析综合评估模型和模糊评价评估模型。     

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

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

基于扩展IDEF3方法的作战任务描述及效能评估

针对部队作战过程建模复杂、作战效能评估困难的研究现状,提出了一种基于扩展IDEF3的作战任务建模及效能评估方法。在定义部队作战相关概念的基础上,引入了作战行动效能扩充行为单元的描述属性。通过作战任务的分解和＂串并联＂模型框架的计算方法,对部队作战的具体过程进行形式化描述,给出了部队针对特定任务的作战效能评估方法。最后以某防空旅执行防空任务为实例进行了说明,研究表明将该方法应用于部队作战效能的评估是有效的。     

编队协同对地攻击总体作战效能评估

根据编队协同作战的特点,运用层次分析法提出了编队总体作战效能的评估指标体系。重点研究了影响编队总体作战效能的因素,如突防能力、攻击能力、协同能力和指挥决策能力等并建立其评估模型,之后深入分析了影响每个因素的条件且计算了准则层中各因素的权重系数。最后通过实例论证有效证明了该评估指标体系的合理性,为编队协同对地攻击的作战效能评估提供了有效的理论基础。     

基于统计分析的作战行动效能评估方法

由于作战过程中不确定因素多,作战行动效果数据表现出显著的随机性。为了探索效果数据背后隐藏的作战规律,基于统计分析的方法研究作战行动效能的评估问题。分析了作战行动及其效能的基本概念,针对增强最简半自治适应性作战神经网络工具箱(EINSTein)产生的仿真数据采用单次、单组以及多组实验分析的手段,研究进攻行动效果数据的统计特征,发现对于具有作战优势的一方,相比通过增加作战人数而言,提高火力半径能够取得更好的作战效果。在此基础上,提出一种作战行动效能的评估方法,并结合仿真数据进行了验证,从而为基于实际训练效果数据的效能评估提供可行的解决方案。     

对象约束语言对武器系统效能评估指标体系的描述与验证

武器系统效能评估是武器系统设计过程中的重要环节,效能评估指标体系作为效能评估的前提和基础,其描述的精确性将直接影响武器系统效能评估的结果.针对武器系统的设计过程,提出了一种效能评估指标体系的描述方法,即元模型描述方法;引入统一建模语言(UML)规范的一部分对象约束语言(OCL)对其进行精确描述.最后,通过实验验证了OCL描述的正确性,为武器系统设计过程中的效能评估提供依据.     

信息系统可生存性定量评估的指标体系

从内容、攻击阶段、测定标准等不同角度综合分析可生存性指标,提出一种能系统地反映可生存性的指标体系,给出其形式化描述和数学模型。分析与验证结果表明,该指标体系具有规范性、完备性,对信息系统可生存性的定量评估具有指导意义。     

安全协议的攻击分类及其安全性评估

对安全协议的安全性进行全面评估是十分重要的,但难度非常大．目前大量的研究工作主要集中于分析开放网络环境下安全协议的一些特定安全属性,例如,秘密性和认证性等．为了更全面地评估安全协议的安全防护能力,从攻击者的能力和攻击后果两个角度,提出一种新的安全协议攻击分类,并分析了不同攻击类型的特点与机理．在此基础上,探讨了安全协议的一种安全性评估框架,有助于更客观地评价安全协议的实际安全防护能力和设计新的协议．     

探月飞行器效能评估研究与实践

航天器飞行效能评估是整器级测试验证以及在轨飞行结果评价中不可或缺的重要环节,针对我国探月三期月地高速再入返回飞行试验,提出了一种基于任务剖面的航天器飞行效能评估方案;提取7个任务剖面、17个约束条件,建立面向月地再入返回过程的指标评估体系;通过定量、定性指标量化计算、权重系数层次分析法计算各任务剖面的能力度量值,解决了系统目标完成能力不易定量描述的难题,实现了对月地转移段、大气层外自由飞行段、再入段、跃出段等过程自主飞行能力的科学定量评估,对后续月球无人采样返回、火星探测等探测器系统的效能评估具有一定参考意义;该方法已应用于月地高速再入返回飞行器系统。     

对安全协议重放攻击的分类研究

在详细研究攻击实例的基础上,从攻击成功的根本原因出发,提出了一种新的重放攻击分类方法.该分类方法能够更清楚地认识到重放攻击的原理和本质,并针对不同的重放种类给出了避免攻击的原则性方法,对协议的设计和分析起到了借鉴作用.     

雷达网配置体系结构及效能评估研究

雷达网配置优化是防空作战中非常关键的一环,针对作战环境多变影响雷达网优化配置模型存在诸多问题,其评价模型的优劣对结论起着重要的影响.论文提出了以陆基、空基和海基为一体的雷达网探测模型体系结构.在此基础上,结合实例构造了雷达网效能评估判断矩阵、进行层次单排序和一致性检验.最后,利用层次分析法对模型的合理性进行了验证.结果表明,该模型体系结构的建立提高了指挥所在复杂电磁环境下的快速反应能力和整体作战指挥能力.     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

基于系统六元分析的弹药保障效能评估

针对当前弹药保障系统评估中存在的指标体系构建随意性大、较为粗略的现状,通过对弹药保障系统的六元分析,详细构建了弹药保障系统效能评估的指标体系。采用模糊综合评判法设计了装备保障效能综合评估系统,通过实例验证了该系统的实用性。     

模糊描述逻辑系统L-ALCN中的形式概念格

该文首先简单介绍格值模糊描述逻辑系统L—ALCN的语法和语义,介绍形式概念分析（FCA）的基本理论。把形式概念分析引入到模糊描述逻辑中,在国际上也是刚刚起步,尚不成熟。该文定义了模糊形式背景、模糊形式概念格,并证明了此概念格为完备格。     

联合作战指控系统效能评估仿真研究

针对联合作战指挥控制系统功能组成和特点,分析并构造了指挥控制系统的效能评估指标体系。探讨了效能评估的主要方法,根据联合作战的特点,采用了作战模拟法,设计并实现了指挥控制系统效能评估试验框架。     

数字证书语义的形式化描述

为了对证书的语义有一个准确的理解。本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。     

模糊描述逻辑系统L-ALCN中的形式概念格

该文首先简单介绍格值模糊描述逻辑系统L-ALCN的语法和语义,介绍形式概念分析(FCA)的基本理论。把形式概念分析引入到模糊描述逻辑中,在国际上也是刚刚起步,尚不成熟。该文定义了模糊形式背景、模糊形式概念格,并证明了此概念格为完备格。