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 ...
详细信息
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.
暂无评论