Benchmark Tests for the Model-Checking-Based IDS Algorithms | IEEE Journals & Magazine | IEEE Xplore