1) ISITL
ISITL
1.
Based on the ITL defination and description augmented with real time descriptive logic,this paper investigated the characteristics of ISITL in detail.
在对ITL的定义和实时语义扩充进行描述的基础上,详细探讨了ISITL的特征,并给出了其模式图和MACIS事件的处理算法;最后对ISITL存在的优缺点进行了简要分析。
2.
Interval temporal logic based intrusion signatures(ISITL) is a high-abstractive formal description language for representing intrusion signatures.
ISITL(Intrusion Signatures based on Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言，它对Allen的时段时态逻辑进行了实时描述的扩充，从而加强了其入侵特征的描述能力。