Snort规则及规则处理模块分析

当前,入侵检测已成为网络安全技术的重要组成部分,开放源代码入侵检测系统Snort是研究入侵检测系统很好的原型。分析了Snort规则语法和规则处理模块,剖析了规则语法树的生成及根据规则语法树进行遍历、查找匹配项的过程,总结了Snort的一些特点。     

组合原则探赜

意义组合原则,又称组合性原则或组合原则,是蒙太格语法等逻辑语法理论的指导性原则。学界对组合原则的理解有两层含义:一是复合表达式的整体意义是其部分意义的函项;二是在相应语法系统中句法和语义的对应。本文针对这两个特征,介绍蒙太格语法中意义组合原则的应用,对意义组合原则第一层含义的使用实例进行分析,同时对组合原则第二层含义的情况也给予分析,最后讨论DRT对组合原则的挑战,说明意义组合原则的重要的理论价值。     

蒙太格语法产生的历史背景

蒙太格语法是由美国逻辑学家理查德·蒙太格创立的一种形式语言理论,是在一阶逻辑的基础上,通过对语句的结构和赋值增加了某些强有力的形式工具而形成的.形式语言包括(i)一阶谓词逻辑,(ii)模态算子,(iii)时态算子,(iv)兰姆达抽象,(v)形成谓词内涵和外延的算子.蒙太格提供了一个类型论的结构,这种结构允许对每种表达式加以量化.蒙太格的形式语言又可称之为内涵语言.他依据个体,真值,可能世界和时间座标以及所有这些的函项概念给出了内涵语言的的一个模型.内涵语言使我们能给出对自然语言语句的间接解释.其方法是,首先将语句映射为内涵逻辑中的翻译语言,然后给出这种语言的解释.本文主要阐述蒙太格语法产生的历史背景,阐述奠定了蒙太格语法基础的逻辑和哲学中的语义学早期传统,并将这种传统与语言学中的语义学传统相对照,后者表现出了与蒙太格理论的重大的和富有争议的不同.     

基于高斯函数与分级学习的D-FNN算法研究

D-FNN基本思想是构造一个基于扩展的RBF神经网络,它可以看成是一个TSK模糊系统,也可以看做是基于归一化的高斯RBF神经网络。该文提出的算法,学习前,模糊神经网络不需要预先确定,在学习的过程中,参数估计与结构辨识同时进行,并根据系统精度要求及模糊规则的重要性,自动地产生或者删除一条模糊规则。在学习速度、系统结构和泛化能力方面进行了仿真实验,仿真结果表明D-FNN具有更简洁的结构和优良的性能。     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

嵌入式防火墙规则冲突检测算法的实现

在嵌入式状态检测防火墙应用中,规则冲突检测是影响系统安全及服务质量的关键。由于嵌入式系统受系统资源制约,基于文本的防火墙规则检测较基于数据库完整性检查的规则冲突检测更灵活、实用。文章首先对iptables防火墙管理程序及其脚本的语法规则进行介绍;然后完成基于文本的防火墙规则检测算法的实现,最后对算法性能进行了分析。     

基于规则的RBAC在Web信息系统中的实现

针对Web资源访问的特点和安全问题,研究了传统的RBAC(Role-Based Access Con-trol)模型的缺陷,提出了一种适合大型Web资源访问系统的RBAC扩展模型,即利用用户属性制定相应的规则,根据规则为用户分配角色,以获得相应Web资源的访问权限.该扩展模型弥补了传统RBAC基于静态角色分配的不足,实现了角色的动态分配,并对规则和角色分配进行了约束,提高了Web资源访问的效率和安全性     

扩展嵌套事务模型的研究

在主动数据库的规则处理过程中，为了更好地适应规则的嵌套触发和多种耦合方式的处理，在分析了嵌套事务模型的基础上，对其进行了扩展，提出了扩展嵌套事务模型，并在此基础上，对规则的处理进行了相应的分析。     

群体决策中弱Pareto扩展规则的充要条件

从弱Pareto扩展规则的定义出发,验证了弱Pareto扩展规则满足阿罗公理中除传递性以外的其他公理,并给出了弱Pareto扩展规则所满足的充要条件,指出拟独裁性、匿名性、中立性、Pareto原则和完全性是使一集体选择规则成为弱Pareto扩展规则的充要条件。     

一种一维细胞自动机的分类

讨论了基本细胞自动机的一种扩展模型,通过二元矩阵展现了局部规则与全局演化的关系.利用矩阵的秩对这类细胞自动机进行了计算机实验分类.     

一种基于粗糙集理论的规则核值的扩展算法

应用粗糙集的理论,提出一种基于规则核值的扩展算法。利用该算法对从信息数据进行约简,并求出规则的核值．在规则核值的基础上对规则进行扩展,从而去除规则中的冗余条件,得到更加简化的规则．     

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。     

基于扩展元模型的智能动态工作流建模方法

为了提高工作流的智能性和动态性,对原有的工作流过程元模型进行扩展,提出一个基于该扩展元模型的智能动态工作流模型.该工作流模型引入控制规则来约束流程的实例化,并引入一个独立于工作流系统的规则协调器来对流程规则进行解析,实现了流程的智能动态变化.研究结果表明,建立在智能动态工作流模型上的工作流管理系统不仅具有智能性和动态性,在通用性以及柔性方面也有很大的提高.     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

基于Petri网的ECA规则集终止性分析

对于ECA(event-condition-action)规则集,由于其行为特性较为复杂,终止性分析比较困难.在Petri网理论的基础上,提出了一种扩展Petri网系统,建立了ECA规则集模型,能够较好地表示ECA规则的行为特性;利用Petri网分析方法,对ECA规则行为进行了分析,并利用可达图和T_不变量方法对ECA规则集的终止性进行了分析.经过实例验证,该方法效果良好.     

一种可行的量化逻辑自然演绎系统

提出了一种较为可行的量化逻辑自然演绎系统,其中间接证明是这一系统的主要证明方法,而量词消去和置换规则是这一系统的基本演绎规则.     

基于粗糙集理论的续保规则挖掘模型

基于粗糙集基本理论，分析了衡量规则价值的方法，构建了一个基于粗糙集理论的续保规则挖掘模型．运用该模型对10000条车险保单客户数据进行了分析，挖掘出隐含在这些数据中的续保规则，找到了续保客户的描述性特征．     

snort规则语法在基于CVE特征的入侵检测系统中的应用

针对人侵检测专家系统的不足，通过对CVE标准漏洞列表进行深人的研究，采用新型规则结构及snort规则描述语法，建立基于CVE特征的人侵检测专家系统规则库，它具有结构简洁、易于更新的特点．另外，以CVE标准为建立人侵检测专家系统规则库的基准，使得人侵检测专家系统规则库升级有了可靠的国际权威标准可以依据，对人侵检测系统的标准化有推动作用．     

基于产生式规则系统的车辆跟驰模型

车辆跟驰模型是微观交通仿真的核心.随着微观交通仿真应用的不断发展,需要对更多的交通场景进行建模,而现有的车辆跟驰模型在扩展性上已掣肘.提出基于产生式规则系统的车辆跟驰模型,并对其进行了仿真.仿真结果表明,用产生式规则系统模拟驾驶行为是可行的,通过模糊规则和普通规则的共同作用,能方便地进行扩展.     

主动数据库管理系统的设计

提出了将传统的关系数据库管理系统转换成主动数据库管理系统的设计思想，构造了表达主动规则的基于ＳＱＬ的扩展语言，给出了一种统一存储和管理规则的方法，设计了实现主动规则系统的总体框架。