首页> 中文期刊>网络安全技术与应用 >一种基于投影时序逻辑模型检测的入侵检测方法

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

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于时序逻辑模型检测的入侵检测技术降低了误用检测的漏报率,然而却几乎不能描述并发攻击和分段攻击,因而对这些复杂的攻击模式漏报率仍很高.本文针对该问题,提出了一种基于投影时序逻辑模型检测的入侵检测方法.对若干复杂攻击实例的检测表明,新方法可有效降低对并发攻击和分段攻击的漏报率.

著录项

来源
《网络安全技术与应用》|2010年第3期|25-27|共3页
作者
朱维军; 王迤冉; 周清雷;
展开▼
作者单位

西安电子科技大学计算机学院,陕西,710071;

郑州大学信息工程学院,河南,450052;

周口师范学院计算机科学系,河南,466001;

郑州大学信息工程学院,河南,450052;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
入侵检测; 误用检测; 模型检测; 时序逻辑; 投影时序逻辑;

相似文献

中文文献
外文文献
专利

1. 一种基于并发命题投影时序逻辑模型检测的入侵检测方法 [J] . 陈建辉 ,王文义 ,朱维军 . 计算机科学 . 2010,第010期
2. 基于DNA计算的线性时序逻辑模型检测方法 [J] . 朱维军 ,周清雷 ,张钦宪 . 计算机学报 . 2016,第012期
3. 一种命题投影时序逻辑的分布式模型检测方法 [J] . 舒新峰 ,王昌太 ,王燕 . 西安电子科技大学学报（自然科学版） . 2020,第004期
4. 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 [J] . 刘姣 ,雷丽晖 . 计算机工程与科学 . 2015,第010期
5. 基于QPSO优化投影寻踪的网络入侵检测方法 [J] . 朱丽华 ,刘以安 ,魏敏 . 计算机工程与应用 . 2011,第028期
6. 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 [C] . LIU Jiao ,刘姣 ,LEI Li-hui . 2015全国理论计算机科学学术年会 . 2015
7. 基于时序逻辑模型验证的入侵检测方法研究 [A] . 赵延珂 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号