首页> 中文期刊> 《计算机科学》 >一种基于并发命题投影时序逻辑模型检测的入侵检测方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

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

摘要

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

著录项

来源
《计算机科学》 |2010年第10期|116-117137|共3页
作者
陈建辉; 王文义; 朱维军;
展开▼
作者单位

郑州航空工业管理学院计算机科学与应用系;

郑州;

450015;

中原工学院并行处理技术研究所;

郑州;

450007;

郑州大学信息工程学院;

郑州;

450052;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;理论、方法;
关键词
入侵检测; 误用检测; 模型检测; 并发命题投影时序逻辑;

相似文献

中文文献
外文文献
专利

1. 一种基于区间时序逻辑模型检测的入侵检测算法(英文) [J] . . 中国通信 . 2011,第003期
2. 一种命题投影时序逻辑的分布式模型检测方法 [J] . 舒新峰 ,王昌太 ,王燕 . 西安电子科技大学学报（自然科学版） . 2020,第004期
3. 基于DNA计算的线性时序逻辑模型检测方法 [J] . 朱维军 ,周清雷 ,张钦宪 . 计算机学报 . 2016,第012期
4. 基于命题投影时序逻辑的单调速率调度算法模型检测 [J] . 田聪 ,段振华 . 软件学报 . 2011,第002期
5. 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 [J] . 刘姣 ,雷丽晖 . 计算机工程与科学 . 2015,第010期
6. 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法 [C] . LIU Jiao ,刘姣 ,LEI Li-hui . 2015全国理论计算机科学学术年会 . 2015
7. 基于时序逻辑模型验证的入侵检测方法研究 [A] . 赵延珂 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号