【摘 要】
：
在攻击建模领域,基于逻辑的建模方法具有独特的优势和研究价值,能够有效检测复杂的网络攻击。以往研究[1]在建模和逻辑描述方面存在一定局限性,许多攻击无法检测。因此,使用
【机 构】
：
国家数学工程与先进计算重点实验室,郑州大学
【基金项目】
：
国家自然科学基金资助项目(61472447)
论文部分内容阅读
在攻击建模领域,基于逻辑的建模方法具有独特的优势和研究价值,能够有效检测复杂的网络攻击。以往研究[1]在建模和逻辑描述方面存在一定局限性,许多攻击无法检测。因此,使用扩展命题间隔时间逻辑(Extended Propositional Interval Temporal Logic,EPITL)来描述攻击。首先分析各类攻击的原理;其次,将每次攻击的具体细节转化为原子操作,给出原子命题集合;最后,对每个攻击行为使用EPITL描述,构建该攻击的EPITL公式,作为人工免疫攻击检测模型的输入,用于检测是否发生攻击
其他文献
针对高超声速飞行器地面防热试验高精度总焓测量需求,研制了一种带热防护罩的稳态焓探针。基于能量平衡原理设计了稳态焓探针测量系统,采用有限元方法分析了焓探针采样管长度
为研究火星进入条件下的非平衡流动特性,在中国空气动力研究与发展中心超高速空气动力研究所弹道靶上测量了CO 2中针对火星探测器进入速度范围5~7 km/s条件下的自由飞圆球的
半个世纪以前,Weibull分布已经引起许多应用统计学家和理论统计学家的兴趣,产生了大量的研究成果。无疑Weibull分布与正态分布、指数分布、t-分布等常用分布一样成为了现代统
大型结冰风洞热流场符合性是大型结冰风洞适航应用的前提条件。为验证中国空气动力研究与发展中心3 m×2 m结冰风洞热流场符合性,建立了结冰风洞热流场符合性验证方法;针
为减小塞块量热计的热流测量误差,对其热流计算与修正方法开展了研究。根据能量守恒原理和传热理论,建立了隔热套结构塞块量热计的传热模型和计算方法;通过对塞块量热计传热
废杂铝熔炼是资源再生利用的重要方式。近年来,福建省再生铝行业发展迅速,再生铝熔炼过程中易产生二噁英等污染物,对环境污染较大,研究再生铝二噁英污染影响及其控制,对于保
在流体力学实验中,平面流动皂膜得到大量应用(如用于模拟两维湍流流动或超声速流动),对皂膜的测量手段也得到了极大发展,但对流动皂膜特性参数的测量尚有可提高之处。本文给
化学史是化学教育教学的一个古老而又年轻的话题,国际国内学者对于化学史教育教学的研究从未停止。特别是国际科学教育的发展和我国的新课程改革对化学史的教育教学提出了更