| Popis: |
Compared with the intrusion detection based on pattern matching, the method which is based on model checking can detect the complex attacks. But all of the existing algorithms are used to detect some specific types of attacks. So, we firstly use the projection temporal logic (PTL) formulae to set up formal sub-models respectively for the five kinds of attackers, the four kinds of attack processes and the eight kinds of attack effects. According to their universal relationship and the semantic relation of variety of PTL logic operators, we obtain the above sub-models together, thus, the universal model described by PTL formula for universal attack is formed. On this base, we implement an intrusion detection method based on projection temporal logic for detecting all types of attacks. Compared with the existing methods, the detecting ability of the new method is more comprehensive. |
