一种面向攻击树建模的描述语言

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:dingxiaoyun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前网络安全仿真研究中存在缺乏攻击建模方法以及统一描述的问题,因此在采用攻击树建立攻击模型,描述攻击企图、特征和步骤执行过程的基础上,提出一种攻击描述语言CNADL(Computer Network Attack Description Language).攻击树用于对攻击进行建模,并转化为自动机模型.CNADL采用上下文无关文法,用统一的形式描述攻击的目的、方法和步骤,由解释器生成相应操作的命令交付攻击演练系统执行.利用基于GTNetS仿真平台的攻击演练系统对CNADL进行实验验证.结果表明,该语言能有
其他文献
在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是),建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X).讨论了LTP(X)
为确定交会对接任务地面远距离导引控制可达到的精度,分析了影响精度的误差因素;提出了利用简化动力学模型、采用拟平均根数法和协方差法进行误差传播计算的方法;推导了误差传播
以2003年~2011年辽宁省境内新、扩改建火力发电厂和供热机组建设为研究对象,采用案例分析,结合国家有关大气环境影响预测评价的有关规定,就环境影响预测评价中存在的问题进行
传统的博弈理论中假定局中人具有共同知识.由于现实中各局中人获取信息的途径不同,信息具有不确定性,局中人具有共同知识这一假定往往不能满足.因此,需要讨论不确定信息博弈
进一步研究了敏感属性证书披露问题,尝试运用密码学机制给出一个属性证书披露方案,增强安全保证,在一定条件下保护资源请求者和提供者双方的权利,该方案实现了以下特点:资源请求者
建立合理的三维编织复合材料结构模型,对其力学性能的有限元计算结果具有重要影响.以成型后的三维四向编织复合材料为研究对象,在实验观察和以往研究的基础上,提出了一个新的有限
当工程结构参数包含不确定因素时,结构的固有频率也将是不确定的.这就需要讨论不确定性振动问题中广义区间特征值的求解方法.在Deif标准区间特征值求解定理的基础上,通过区间
为了研究在旋转状态下温度比对气膜与主流掺混区域的影响,采用了数值模拟的方法对此进行了分析.结果表明:与静止状态相比,气膜出流在旋转状态下会发生偏转.当温度比固定,随着转速的
光交换机中的光路重置需要较长的时间,分组调度必须是基于帧的.为提高传输效率帧长通常较大,从而导致了光交换机中特有的分组累积效应.针对该效应,提出一种新的分组调度算法p-LQF(L
在矩形水槽中模拟了太湖底泥起动再悬浮规律,分析了湖流流速对太湖底泥再悬浮及NH4-N释放的作用规律。结果显示:当流速小于20 cm/s时,底泥并未发生大量悬浮,水体中浊度及NH4-N