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

计算机科学 ›› 2010, Vol. 37 ›› Issue (10): 116-117.

• 计算机网络与信息安全 • 上一篇下一篇

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

陈建辉，王文义，朱维军

(郑州航空工业管理学院计算机科学与应用系　郑州450015)(中原工学院并行处理技术研究所　郑州450007)(郑州大学信息工程学院　郑州450052)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家(863)高技术研究发展计划(2007AA010408 )，河南省重大科技攻关计划(09210104)资助。

Intrusion Detection Method Based on Model Checking of Concurrent Propositional Projection Temporal Logic

CHEN Jian-hui,WANG Wen-yi,ZHU Wei-jun

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

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

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

Abstract: The intrusion detection method based on model checking of projection temporal logic can describe piecewise network attacks but concurrent attacks. We defined a novel concurrent operation and obtained a new intrusion detection method based on model checking of concurrent propositional projection temporal logic. I3y example, we show that our method can detect concurrent attacks efficiently.

Key words: Intrusion detection, Misuse detection, Model checking, Concurrent propositional projection temporal logic

陈建辉，王文义，朱维军. 一种基于并发命题投影时序逻辑模型检测的入侵检测方法[J]. 计算机科学, 2010, 37(10): 116-117. https://doi.org/

CHEN Jian-hui,WANG Wen-yi,ZHU Wei-jun. Intrusion Detection Method Based on Model Checking of Concurrent Propositional Projection Temporal Logic[J]. Computer Science, 2010, 37(10): 116-117. https://doi.org/