Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Figure 1

(a) Some temporal logics and their classification. (b) Some logics and their expressive power.
621203.fig.001a
(a)
621203.fig.001b
(b)