A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 11

Comparison for Probe attacks.