A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 10

Comparison for R2L attacks.