|
|||||
|
|
| 一种基于投影时序逻辑模型检测的入侵检测方法 | |
| 引用本文： | 朱维军,王迤冉,周清雷.一种基于投影时序逻辑模型检测的入侵检测方法[J].网络安全技术与应用,2010(3):25-27. |
| 作者姓名： | 朱维军 王迤冉 周清雷 |
| 作者单位： | 1. 西安电子科技大学计算机学院,陕西,710071;郑州大学信息工程学院,河南,450052 2. 周口师范学院计算机科学系,河南,466001 3. 郑州大学信息工程学院,河南,450052 |
| 基金项目： | 国家(863)高技术研究发展计划(2007AA010408):河南省重大科技攻关计划 |
| 摘 要： | 基于时序逻辑模型检测的入侵检测技术降低了误用检测的漏报率,然而却几乎不能描述并发攻击和分段攻击,因而对这些复杂的攻击模式漏报率仍很高。本文针对该问题,提出了一种基于投影时序逻辑模型检测的入侵检测方法。对若干复杂攻击实例的检测表明,新方法可有效降低对并发攻击和分段攻击的漏报率。 |
| 关 键 词： | 入侵检测 误用检测 模型检测 时序逻辑 投影时序逻辑 |
Projection based on temporal logic model checking Intrusion Detection Method |
|
| Zhu Weijun,Wang Yiran,Zou QingLei.Projection based on temporal logic model checking Intrusion Detection Method[J].Net Security Technologies and Application,2010(3):25-27. | |
| Authors: | Zhu Weijun Wang Yiran Zou QingLei |
| Affiliation: | Zhu Weijun,Wang Yiran,Zou QingLei( 1.Xi＇an University of Electronic Science and Technology School of Computer Science,Shanxi,710071,China; 2.School of Information Engineering,Zhengzhou University,Henan,450052,China 3Zhoukou Teachers College Department of Computer Science,Henan,466001,China ) |
| Abstract: | Based on the temporal logic model checking intrusion detection reducing the rate of misuse detection of omissions,however,almost unable to describe concurrent attacks and sub-attack,thus omitting these complex patterns of attack rate was still very high.To address the problem,propose a projection based on temporal logic model checking intrusion detection methods.Attacks on a number of examples of detection of the complex show that the new method can effectively reduce the complicated to the attack and failing to report the rate of sub-attacks. |
| Keywords: | intrusion detection abuse detection model checking sequential logic projection temporal logic |
| 本文献已被 维普 万方数据 等数据库收录！ | |