计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2003年
32期
27-29
,共3页
形式化描述%入侵特征%时段时态逻辑%免疫系统
形式化描述%入侵特徵%時段時態邏輯%免疫繫統
형식화묘술%입침특정%시단시태라집%면역계통
入侵特征由系统属性和事件序列组成,时序关系是描述它们的关键.ISITL是一种基于Allen的时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言,它将系统属性和事件与相应的时段紧密相连,时段间的相互关系用13个基本函数和3个扩展函数来描述.在基于多代理的计算机免疫系统MACIS中,根据ISITL描述设计的检测器确保了较低的"漏报率"和"误报率".
入侵特徵由繫統屬性和事件序列組成,時序關繫是描述它們的關鍵.ISITL是一種基于Allen的時段時態邏輯和一階謂詞邏輯的入侵特徵形式化描述語言,它將繫統屬性和事件與相應的時段緊密相連,時段間的相互關繫用13箇基本函數和3箇擴展函數來描述.在基于多代理的計算機免疫繫統MACIS中,根據ISITL描述設計的檢測器確保瞭較低的"漏報率"和"誤報率".
입침특정유계통속성화사건서렬조성,시서관계시묘술타문적관건.ISITL시일충기우Allen적시단시태라집화일계위사라집적입침특정형식화묘술어언,타장계통속성화사건여상응적시단긴밀상련,시단간적상호관계용13개기본함수화3개확전함수래묘술.재기우다대리적계산궤면역계통MACIS중,근거ISITL묘술설계적검측기학보료교저적"루보솔"화"오보솔".
