期刊文献+

一个入侵特征的时间语义模型 被引量:1

A Temporal Modal for Intrusion Signatures
下载PDF
导出
摘要 入侵特征由系统属性和事件序列组成,时序关系是描述它们的关键。ISITL是一种基于Allen的时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言,它将系统属性和事件与相应的时段紧密相连,时段间的相互关系用13个基本函数和3个扩展函数来描述。在基于多代理的计算机免疫系统MACIS中,根据ISITL描述设计的检测器确保了较低的“漏报率”和“误报率”。 Intrusion signatures are usually composed of the system attributes and event sequences,in which time plays a critical role.Interval temporal logic based Intrusion signatures(ISITL)is a high-abstractive formal description language for representing intrusion signatures.It binds all system attributes and events with corresponding intervals,whose relations are specified by13basic functions and3augmented real time predicates.According to the ISITL description,the detec-tors of multi-agent based computer immune system(MACIS)ensure a low false positive rate and false negative rate.
出处 《计算机工程与应用》 CSCD 北大核心 2003年第32期27-29,共3页 Computer Engineering and Applications
基金 国家自然科学基金资助(编号:60073074)
关键词 形式化描述 入侵特征 时段时态逻辑 免疫系统 Formal Description,Intrusion Signatures,Interval Temporal Logic,Immune system
  • 引文网络
  • 相关文献

参考文献3

  • 1James F Allen,George Ferguson,Actions and Events in Interval Temporal Logic[J].Journal of Logic and Computation,1994;4(5):531-579. 被引量:1
  • 2Dasgupta D,Gonzalez F.An Immunity-Based to Characterize Intrusions in Computer Network[J].Evolutionary Computation,IEEE Transactions on, 2002 ; 6. 被引量:1
  • 3Kevin P,Paul D.The Computer Defense Immune System:Current and Future Research in Intrusion Detection[J].Evolutionary Computation, 2002 ; 2 : 1027-1032. 被引量:1

同被引文献8

引证文献1

相关主题

;
使用帮助 返回顶部