|
|||||
|
|
| 模型检测方法在入侵检测中的应用研究 | |
| 引用本文： | 林璇. 模型检测方法在入侵检测中的应用研究[J]. 现代计算机, 2009, 0(2) |
| 作者姓名： | 林璇 |
| 作者单位： | 韩山师范学院数学与信息技术系,潮州,521041 |
| 基金项目： | 韩山师范学院重点科研项目 |
| 摘 要： | 入侵检测系统的智能性逐渐受到重视,基于逻辑的模型检测方法是一种有效的误用检测方法.介绍基于逻辑的模型检测方法的研究现状,提出一种基于模型检测的入侵检测模型,描述模型的工作原理和优点. |
| 关 键 词： | 入侵检测 模型检测 逻辑 时态认知逻辑 |
Research on the Application of Model-Checking in Intrusion Detection |
|
| LIN Xuan. Research on the Application of Model-Checking in Intrusion Detection[J]. Modem Computer, 2009, 0(2) | |
| Authors: | LIN Xuan |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |