|
|||||
|
|
| 一种基于并发命题投影时序逻辑模型检测的入侵检测方法 | |
| 引用本文： | 陈建辉,王文义,朱维军.一种基于并发命题投影时序逻辑模型检测的入侵检测方法[J].计算机科学,2010,37(10):116-117,137. |
| 作者姓名： | 陈建辉 王文义 朱维军 |
| 作者单位： | 1. 郑州航空工业管理学院计算机科学与应用系,郑州,450015 2. 中原工学院并行处理技术研究所,郑州,450007 3. 郑州大学信息工程学院,郑州,450052 |
| 基金项目： | 本文受国家(863)高技术研究发展计划(2007AA010408 )，河南省重大科技攻关计划(09210104)资助。 |
| 摘 要： | 基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力，然而对并发攻击仍无能为力，因为该逻辑无法直接描述并发。针对此问题，在该逻辑的基础上定义了一种新的并发算子，并给出基于并发投影时序逻辑模型检测的入侵检测方法。对复杂攻击实例的检测表明，新方法可有效提高对并发攻击的检测能力。 |
| 关 键 词： | 入侵检测，误用检测，模型检测，并发命题投影时序逻辑 |
| 收稿时间： | 2009/12/11 0:00:00 |
| 修稿时间： | 2010/2/21 0:00:00 |
Intrusion Detection Method Based on Model Checking of Concurrent Propositional Projection Temporal Logic |
|
| CHEN Jian-hui,WANG Wen-yi,ZHU Wei-jun.Intrusion Detection Method Based on Model Checking of Concurrent Propositional Projection Temporal Logic[J].Computer Science,2010,37(10):116-117,137. | |
| Authors: | CHEN Jian-hui WANG Wen-yi ZHU Wei-jun |
| Affiliation: | (Department of Computer Science and Application,Zhengzhou Institute of Aeronautical Industry Management,Zhengzhou 450015,China) (Institute of Parallel Processing Technology,Zhongyuan Institute of Technology,Zhengzhou 450007,China) (School of Information Engineering, Zhengzhou University, Zhengzhou 450052 , China) |
| Abstract: | The intrusion detection method based on model checking of projection temporal logic can describe piecewise network attacks but concurrent attacks. We defined a novel concurrent operation and obtained a new intrusion detection method based on model checking of concurrent propositional projection temporal logic. I3y example, we show that our method can detect concurrent attacks efficiently. |
| Keywords: | Intrusion detection Misuse detection Model checking Concurrent propositional projection temporal logic |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》浏览原始摘要信息 | |
| 点击此处可从《计算机科学》下载全文 | |