一种基于区间时序逻辑模型检测的入侵检测算法(英文)

来源 :中国通信 | 被引量 : 0次 | 上传用户：redpig

【摘要】

：

Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to descr

【作者】

：

Zhu Weijun Wang Zhongyong Zhan

【机构】

：

XidianUniv,ZhengzhouUniv

【出处】

：

中国通信

【发表日期】

：

2011年3期

【基金项目】

：

supported by National Natural Science Foundation of China under Grant No. 61003079

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Model checking based on linear temporal logic reduces the false negative rate of misuse detection.However,linear temporal logic formulae cannot be used to describe concurrent attacks and piecewise attacks.So there is still a high rate of false negatives i

其他文献

目前小学语文课堂教学有效性解析

摘要：与传统课堂教学模式相比，新课改下的小学语文课堂教学质量和有效性有了明显的提升。本文主要论述了新课改下小学语文课堂教学有效性提高在教学准备阶段、教学实施阶段和教学反思阶段的策略。　　关键词：小学语文课堂教学有效性　　从小学到高中，教师在教学中的作用都是非常关键的，尤其对于刚接触课堂教学的小学生能否在短暂的课堂上充分吸收所学知识，教师在课堂上开展的教学行为是至关重要的影响因素。小学语文作为一

期刊

小学语文课堂教学有效性

联合叠加编码与解噪转发自适应物理层网络编码(英文)

The existing physical-layer network coding(PNC) can be grouped into three generic schemes,which are XOR-based PNC,superposition-based PNC,and denoising-and-forw

期刊

迟开的花朵也娇艳——浅谈如何做好学困生的转变工作

记得陶行知先生有这么一句话：＂你的教鞭下有瓦特,你的冷眼里有牛顿,你的嘲笑中有爱迪生。＂十多年班主任工作的岗位下,我以陶先生这句话为指南,为了让这些话开得同样娇艳,我在实

期刊

学生效果教育学困生

热处理设备对制备工业乙苯脱氢催化剂性能影响的考察

本工作研究了马弗炉、隧道窑和连续式电加热回转炉热处理设备对工艺乙苯脱氢催化剂性能的影响,为选择适宜大批量催化剂生产的热处理设备提供参考.

期刊

乙苯脱氢催化剂抗压碎强度外观形貌放大效应

甲醇合成催化剂中CNTs促进作用研究

通过对是否有碳纳米管促进的甲醇合成Cu基催化剂的性能比较以及表征分析,可以发现常压下在碳纳米管载体上可以存储数量相当可观、并在363～553 K温度范围处于可逆吸-脱附的吸附

期刊