Intrusion Detection Algorithm Based on Model Checking Interval Temporal Logic

作     者：朱维军 王忠勇 张海宾 

作者机构：School of Computer ScienceXidian University School of Information EngineeringZhengzhou University 

出 版 物：《China Communications》 (中国通信（英文版）)

年 卷 期：2011年第8卷第3期

页      面：66-72页

核心收录：

学科分类：0839[工学-网络空间安全] 08[工学] 

基　　金：supported by National Natural Science Foundation of China under Grant No. 61003079 

主　　题：network security intrusion detection misuse detection interval temporal logic model checking 

摘      要：Model checking based on linear temporal logic reduces the false negative rate of misuse ***,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise *** there is still a high rate of false negatives in detecting these complex attack *** solve this problem,we use interval temporal logic formulae to describe concurrent attacks and piecewise *** this basis,we formalize a novel algorithm for intrusion detection based on model checking interval temporal *** with the method based on model checking linear temporal logic,the new algorithm can find unknown succinct *** simulation results show that the new method can effectively reduce the false negative rate of concurrent attacks and piecewise attacks.