ISITL: intrusion signatures in augmented interval temporal logic

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.