Intrusion detection system evaluation model based on model checking
Pengtao Xu, Weijun Zhu · 2016
At present，with the increase of network bandwidth and network data volume, pattern matching to detect intrusion detection systems have many problems to solve.Then, the method based on the model checking method was proposed, and applied to the intrusion detection system[1][2][3][4].However, the Intrusion detection algorithm based on model checking can not meet about comprehensive performance evaluation.Through the analysis of KDDCUP99 data set, combined with the existing logic formula of attack type based on the behavior of the data set.