A Novel Algorithm for Intrusion Detection Based on RASL Model Checking
Figure 7
A comparison of detection ability for p-trace attacks using different MC-based approaches (: the average time distance between atomic attack actions and : the average number of attacks found by ITL simulator/average number of attacks found by RASL simulator).