模型检测方法在入侵检测中的应用研究  

Research on the Application of Model-Checking in Intrusion Detection

作　　者：林璇[1] 

机构地区：[1]韩山师范学院数学与信息技术系,潮州521041

出　　处：《现代计算机》2009年第2期20-21,69,共3页Modern Computer

基　　金：韩山师范学院重点科研项目(NoZD200513)

摘　　要：入侵检测系统的智能性逐渐受到重视,基于逻辑的模型检测方法是一种有效的误用检测方法。介绍基于逻辑的模型检测方法的研究现状,提出一种基于模型检测的入侵检测模型,描述模型的工作原理和优点。The intelligence of Intrusion Detection System （IDS） is valued gradually, the model-checking based on logic is a Useful method of misuse detection. Introduces the research status of model-checking based on logic, proposes a IDS model based on model-checking, discusses the function and advantage of model.

关 键 词：入侵检测 模型检测 逻辑 时态认知逻辑 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术] TN915.04[自动化与计算机技术—计算机科学与技术]