基于并发投影时序逻辑模型检测的入侵检测方法

朱维军; 陈建辉

0
0
浏览
下载

摘要
关键词
基金信息
论文图表
同行评议
相关论文
评论

基于并发投影时序逻辑模型检测的入侵检测方法

首发时间：2010-06-07

朱维军 ¹
朱维军（1976-），男，讲师、博士，主要研究方向：网络安全、计算机形式化方法
陈建辉 ²

1、郑州大学信息工程学院
2、郑州航空工业管理学院计算机系

摘要：基于投影时序逻辑模型检测的入侵检测方法具有描述网络入侵者分段攻击的能力，然而对并发攻击仍无能为力，因为该逻辑无法直接描述并发。针对此问题，在该逻辑的基础上定义了一种新的并发算子，并给出基于并发投影时序逻辑模型检测的入侵检测方法。对复杂攻击实例的检测表明，新方法可有效提高对并发攻击的检测能力。

关键词：计算机软件与理论误用检测模型检测并发命题投影时序逻辑

For information in English, please click here

Method based on model checking CPPTL for intrusion detection

Zhu Weijun ¹
朱维军（1976-），男，讲师、博士，主要研究方向：网络安全、计算机形式化方法
Chen Jianhui ²

1、School of Information Engineering,Zhengzhou University
2、School of Computer Science,Zhengzhou Institute of Aeronautical Industry Management

Abstract：In this paper, the model-checking based intrusion detection technique is studied. The method based on model checking projection temporal logic for intrusion detection can describes piecewise network attacks but concurrent attacks. To this end, we define a novel concurrent operation and obtain a new method based on model checking concurrent propositional projection temporal logic for misuse detection. By example, we show that our method can detect concurrent attacks efficiently.

Keywords： computer software and theory misuse detection model checking concurrent propositional projection temporal logic

基金：

1. 国家高技术（863）研究发展计划（2007AA010408）

论文图表：

引用

导出参考文献

.txt

.ris

.doc

朱维军，陈建辉. 基于并发投影时序逻辑模型检测的入侵检测方法[EB/OL]. 北京：中国科技论文在线 [2010-06-07]. https://www.paper.edu.cn/releasepaper/content/201006-131.

No.4374934536212127****

同行评议

未申请同行评议

全部评论

0/1000

论文编号	201006-131
论文题目	基于并发投影时序逻辑模型检测的入侵检测方法
文献类型
收录期刊	上传封面中文期刊英文期刊期刊名称（中文）期刊名称（英文）年，卷（）上传封面中文专著英文专著书名（中文）书名（英文）出版地出版社出版年上传封面中文译著英文译著书名（中文）书名（英文）出版地出版社出版年上传封面中文论文集英文论文集编者.论文集名称（中文） [c]. 出版地出版社出版年， - 编者.论文集名称（英文） [c]. 出版地出版社出版年，- 上传封面中文文献英文文献期刊名称（中文）期刊名称（英文）日期-- 在线地址http:// 上传封面中文文献英文文献文题（中文）文题（英文）出版地出版社,出版日期-- 上传封面中文文献英文文献文题（中文）文题（英文）出版地出版社,出版日期--
英文作者写法：中外文作者均姓前名后，姓大写，名的第一个字母大写，姓全称写出，名可只写第一个字母，其后不加实心圆点“.”, 作者之间用逗号“，”分隔，最后为实心圆点“.”, 示例1：原姓名写法：Albert Einstein,编入参考文献时写法：Einstein A. 示例2：原姓名写法：李时珍；编入参考文献时写法：LI S Z. 示例3：YELLAND R L,JONES S C,EASTON K S,et al.