文献类型：期刊文章

作　　者：陈建辉[1] 王文义[2] 朱维军[3]

机构地区：[1]郑州航空工业管理学院计算机科学与应用系,郑州450015 [2]中原工学院并行处理技术研究所,郑州450007 [3]郑州大学信息工程学院,郑州450052

出　　处：《计算机科学》

基　　金：国家(863)高技术研究发展计划(2007AA010408);河南省重大科技攻关计划(092101210104)资助

年　　份：2010

卷　　号：37

期　　号：10

起止页码：116-117

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力,然而对并发攻击仍无能为力,因为该逻辑无法直接描述并发。针对此问题,在该逻辑的基础上定义了一种新的并发算子,并给出基于并发投影时序逻辑模型检测的入侵检测方法。对复杂攻击实例的检测表明,新方法可有效提高对并发攻击的检测能力。

关 键 词：入侵检测 误用检测 模型检测  并发命题投影时序逻辑  

分 类 号：TP393] TP301[计算机类]