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

作     者：欧阳明光 汪为农 张勇 Ouyang Mingguang Wang Weinong Zhang Yong(Network Center of Shanghai Jiaotong University,Shanghai200030)

作者机构：上海交通大学网络中心上海200030 

基　　金：国家自然科学基金资助(编号:60073074) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2003年第39卷第32期

页      码：27-29页

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

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

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2003.32.010

馆 藏 号：203107929...