基于并发投影时序逻辑模型检测的入侵检测方法,朱维军,陈建辉,基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力,然而对并发攻击仍无能为力,因为该逻辑无法直接描述