Mathematical Problems in Engineering

Research Article

A Novel Algorithm for Intrusion Detection Based on RASL Model Checking

Table 2

Some notations presented in Algorithm 1.
NotationsSemantics
The set of all subformulas which do not occur in the domain of any operator next of normal form of
pre( )All the nodes which are parents of in , where is a TNFG and is a node of
The set of all subformulas of
A Boolean variable and if and only if there exists no subinterval in