DocumentCode
401705
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
Volume
3
fYear
2003
fDate
2-5 Nov. 2003
Firstpage
1630
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine Learning and Cybernetics, 2003 International Conference on
Print_ISBN
0-7803-8131-9
Type
conf
DOI
10.1109/ICMLC.2003.1259757
Filename
1259757
Link To Document