10.3969/j.issn.1000-3428.2004.10.002
入侵特征的时间语义分析及实现
入侵特征对于入侵检测系统至关重要,它们往往由系统属性和事件序列组成,时序关系是描述它们的Signatures based 0n Interval Temporal Logic)是一种较高抽象程度的入侵特征形式化描述语言,它对Allen的时段时态逻辑进行了实时描述的扩充,从而加强了其入侵特征的描述能力.在ISITL中,所有的系统属性和事件都与相应的时段紧密相连,其相互关系用13个基本函数和3个扩展函数来描述.与其它入侵特征描述语言相比,ISITL具有简单易用,描述能力强等优点.
入侵特征、入侵检测系统、时段时态逻辑、ISITL
30
TP309(计算技术、计算机技术)
国家自然科学基金60073074
2004-06-25(万方平台首次上网日期,不代表论文的发表时间)
共3页
4-5,87