一种基于并发命题投影时序逻辑模型检测的入侵检测方法

摘要：

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

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

所属期刊栏目：37

分类号：TP393;TP301(计算技术、计算机技术)

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

在线出版日期：2011-01-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：116-117,137