A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 4

Success after connection failed three times.