一种基于模型检查的入侵检测方法

摘要：

在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.

关键词：入侵检测、攻击模式、模型检查、时序逻辑

所属期刊栏目：51

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金90104005;湖北省自然科学基金2002AB0037

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

页数：共4页

页码：319-322