Open AccessDetection of Back Attack based on Interval Temporal Logic
Author(s) -
Juan Zhang,
Fenfei Gu
Publication year - 2020
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1550/3/032164
Subject(s) - interval temporal logic , temporal logic , computer science , automaton , model checking , interval (graph theory) , linear temporal logic , intrusion detection system , algorithm , propositional calculus , proposition , theoretical computer science , programming language , mathematics , artificial intelligence , combinatorics , philosophy , epistemology
Contrasted with other detection methods, based on temporal logic the intrusion detection method can deal with complex network attacks actively. However, due to the lack of network attacks temporal logic formula, common back attack cannot use the above methods of detection. Therefore, the Propositional Interval Temporal Logic (ITL) is used to establish temporal logic formulas for back attack. Firstly, the attack principle of back attack was analyzed. Secondly, the critical steps of the attack were break up into atomic actions and the atomic proposition was defined. Finally, the temporal logic formula for the attack was established based on the logical relationship between the atomic propositions. According to the principle of model checking, the obtained temporal logic formula can be used as the input for the model checker (intrusion detector). The automaton was utilized to model the log library as another input to the model checker. And the intrusion detection method for these three attacks was given. and it proved the validityof the novel method by some Simulation experiments