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