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

• 作者: 张勇 欧阳明光 汪为农
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式化描述 入侵特征 时段时态逻辑 免疫系统
• 年，卷（期）: 2003,（32）
• 所属期刊栏目: 博士论坛
• 页码范围: 27-29
• 页数: 3页
• 分类号: TP309
• 字数: 2878字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2003.32.010

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	汪为农	上海交通大学网络中心	43	372	12.0	18.0
2	张勇	上海交通大学网络中心	332	3148	26.0	37.0
3	欧阳明光	上海交通大学网络中心	8	69	4.0	8.0