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

A Method of Intrusion Detection Based on Model-Checking

作　　者：张燕[1] 傅建明[2] 孙晓梅[2] 

机构地区：[1]武汉生物制品研究所信息中心,湖北武汉430060 [2]武汉大学计算机学院,湖北武汉430072

出　　处：《武汉大学学报（理学版）》2005年第3期319-322,共4页Journal of Wuhan University:Natural Science Edition

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

摘　　要：在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程.The behavior of systems is analyzed and the semantics of action sequences are given, and a method of Intrusion detection based on model checking is presented to improve verifying processes, such as dealing with the problem of repeated verifications, adding constraint of deducing length, and exploiting a temporal operator to represent statistic attacks.

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

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]