Finally, using the formalized language, the thesis analyzes and describes structurally every submodule of intrusion detection system which establishes the foundation to realize further the system.

• 最后,论文运用形式化语言对入侵检测系统各子模块进行结构化分析与描述,为系统进一步实现奠定基础。