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

一种基于模型检查的入侵检测方法 A Method of Intrusion Detection Based on Model-Checking 张燕 ZHANG Yan~1 1 2 3 4 first-author 傅建明 FU Jian-ming~2 1 2 3 4 孙晓梅 SUN Xiao-mei~2 1 2 3 4 武汉生物制品研究所信息中心 武汉生物制品研究所信息中心 Information Center of Wuhan Institute of Biological Products Information Center of Wuhan Institute of Biological Products 武汉大学计算机学院 武汉大学计算机学院 School of Computer, Wuhan University School of Computer, Wuhan University 武汉大学计算机学院,湖北,武汉,430060 武汉大学计算机学院,湖北,武汉,430060 ,湖北,武汉,430072 ,湖北,武汉,430072 在分析系统行为以及其动作序列的语义的基础上,利用时序逻辑公式描述攻击特征,提出了一种基于模型检查的入侵检测方法,该方法解决了检测中的重复验证等问题,通过增加推理链的长度约束,引入时序算子处理统计攻击,从而优化了入侵检测过程. 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. 入侵检测 攻击模式 模型检查 时序逻辑 intrusion detection attack pattern model checking temporal logic TP393.08 国家自然科学基金资助项目（90104005）;湖北省自然科学基金资助项目（2002AB0037） 2005-03-01 2021-04-01 3