Benchmark Tests for the Model-Checking-Based IDS Algorithms

Benchmark Tests for the Model-Checking-Based IDS Algorithms

A fundamental concern for the security community is to identify the comprehensive comparable performance of various intrusion detection algorithms which are based on the Model Checking (MC) techniques. To address this open issue, we conduct the benchmark tests for the model-checking-based intrusion...

Full description

Bibliographic Details
Main Authors: Miaolei Deng, Heling Cao, Weijun Zhu, Huanmei Wu, Yangyue Zhou
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Benchmark test
intrusion detection systems
model checking
network security
temporal logic
Online Access:https://ieeexplore.ieee.org/document/8822670/

Internet

https://ieeexplore.ieee.org/document/8822670/

Similar Items