Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 6

Comparisons of average number of attacks found by different MC-based approaches ( : the number of kinds of simulation attacks and : the different number of kinds of attacks found by the different simulators). (a) For telnet attacks. (b) For p-trace attacks.