DETECT: A novel framework for the detection of attacks to critical infrastructures

In the following, we briefly describe the semantics of these operators. For a formal specification of these semantics, the reader can refer to (Chakravarthy et al. 1994).

OR. Disjunction of two events E1 and E2, denoted (E1 OR E2). It occurs when at least one of its components occurs.