A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Table 5

Comparison of different MC-based approaches for detecting password attacks.

Attack actions⧵detection results (if attacksare found)	ITL [2]	RASL	LTL [1]
Consecutive/inconsecutive attack: success after connection failed 𝑘−1 times (𝑘 is a given large constant)	Yes	Yes	No
Every time distance between 𝑚 attacks is less than 𝑛 seconds (𝑘 is a given small constant)	No	Yes	No