Introduces the research status of model-checking based on logic, proposes a IDS model based on model-checking, discuss-es the function and advantage of model.

• 介绍基于逻辑的模型检测方法的研究现状,提出一种基于模型检测的入侵检测模型,描述模型的工作原理和优点。