一个入侵特征的时间语义模型

摘要：

入侵特征由系统属性和事件序列组成,时序关系是描述它们的关键.ISITL是一种基于Allen的时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言,它将系统属性和事件与相应的时段紧密相连,时段间的相互关系用13个基本函数和3个扩展函数来描述.在基于多代理的计算机免疫系统MACIS中,根据ISITL描述设计的检测器确保了较低的"漏报率"和"误报率".

关键词：形式化描述、入侵特征、时段时态逻辑、免疫系统

所属期刊栏目：39

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金60073074

在线出版日期：2004-01-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：27-29