Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 3

Three cases on different length of projection.
621203.fig.003a
(a)
621203.fig.003b
(b)
621203.fig.003c
(c)