Benchmark Tests for the Model-Checking-Based IDS Algorithms

Miaolei Deng, Heling Cao, Weijun Zhu, Huanmei Wu, Yangyue Zhou. Benchmark Tests for the Model-Checking-Based IDS Algorithms. IEEE Access, 7:135479-135498, 2019. [doi]

Abstract

Abstract is missing.