Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Table 4

Another comparison of different MC-based approaches for detecting telnet attacks.

Attack actions detection results (if attacks are found)ITL [2]RASLLTL [1]

Two attacks are launched at the same time pointYesYesNo
The same attack is launched repeatedly times ( is a variable)YesYesNo
The same attack is launched repeatedly times ( is a given large constant)YesYesNo
The time distance between two actions is less than secondsNoYesNo