Title :
ISITL: intrusion signatures in augmented interval temporal logic
Author :
Ming-Guang Ouyang ; Pan, Fenc ; Zhang, Yun-Tao
Author_Institution :
Network Center, Shanghai Jiao Tong Univ., China
Abstract :
Interval temporal logic based intrusion signatures (ISITL) is a high-abstractive formal description language for representing intrusion signatures. Based on Alien´s interval temporal logic, it is augmented with some real time extensions, which enhance the expressivities. Mode chart is the visualization of intrusion signatures in ISITL, which makes the formulas more readable. Compared with other competitive languages, ISITL is simpler and more expressive.
Keywords :
computer networks; formal languages; security of data; temporal logic; formal description language; interval temporal logic; intrusion signatures; mode chart; real time extensions; Calculus; Electronic mail; Formal languages; Intelligent networks; Intrusion detection; Logic; Real time systems; Scalability; Security; Visualization;
Conference_Titel :
Machine Learning and Cybernetics, 2003 International Conference on
Print_ISBN :
0-7803-8131-9
DOI :
10.1109/ICMLC.2003.1259757
