【摘 要】
：
与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Sa
【基金项目】
：
国家重点研发计划(2016YFB0800100);国家自然科学基金(U1204608,U1304606,61572444);中国博士后科学基金(2015M572120,2012M511588)资助
论文部分内容阅读
与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑（ITL）和实时攻击签名逻辑（RASL）分别对这3种攻击建立时序逻辑公式。首先,分析这3种攻击的攻击原理;然后,将攻击的关键步骤分解为原子动作,并定义了原子命题;最后,根据原子命题之间的逻辑关系分别建立针对这3种攻击的时序逻辑公式。根据模型检测原理,所建立的时序逻辑公式可以作为模型检
其他文献
微生物生态学是研究微生物与环境相互作用的基础学科，反映出了微生物群落与环境因素在物质、能量以及信息等方面的交互作用，体现出了生态系统的平衡机制。热泉是地下水经地热加
记得我刚到美国的时候，有朋友谆谆告诫我，到商店买东西时：最好不要用百元大钞。我刚开始还不知道是何道理，觉得百元大钞携带起来方便，等时间一长，才发现在商店买东西时，果然极少有人
将薄背涡虫（Notoplana humilis）制成石蜡切片，通过光学显微镜观察其生殖细胞的发生过程．结果表明：薄背涡虫的精巢可划分为6个时相，每个时相的生精细胞组合图像不同，精子发生先后经历
目的了解围绝经期女性心血管疾病危险因子的变化。方法选择女性患者640例,其中正常对照组310例,围绝经期组330例;所有患者均询问病史,并进行实验室和体格检查。统计分析围绝
本文首先分析了近代英法两国产生股票泡沫的背景及影响,然后从政治基础、信息传播介质、信息受众范围三个方面分析了近代民间审计诞生在英国而不是法国的原因。
商犁1L系列铧式犁；德州1LF系列液压翻转犁；廖旋1L-220型多功能偏耕犁；农亨1L-525型铧式犁；淮源1L系列铧式犁。
通过指数算符的分解,给出了SU(2)和SU(1,1)在相空间中指数算符的正规和反正规乘积形式.