基于ECA规则和动态污点分析的SQL注入攻击在线检测

SQL注入攻击是一种常见的针对Web应用程序漏洞的攻击形式。任何形式的SQL注入攻击最终都会改变原有SQL语句的逻辑结构,违背设计者的初衷。现有的SQL注入攻击检测方法存在检测代码不易被重用、不能被在线注入Web应用程序等不足。因此,提出一种基于ECA(Event Condition Action)规则和动态污点分析的在线检测SQL注入攻击的模型。首先,定义污点标记规则监视污点源函数以标记系统外部引入数据;然后,定义污点传播规则实时跟踪污点数据在应用内部的流向;接着,定义污点检查规则以拦截污点汇聚点函数的参数,并解析它可能携带的污点状态;最后,在原始的Web应用运行时加载ECA规则脚本达到在线检测SQL注入攻击的目的,Web应用无须重新编译、打包和部署。使用Byteman实现了所提模型。在两个不同的Web应用测试实验中,该模型可以识别绝大多数的SQL注入攻击样本,对于正常请求样本没有误报,检测准确率可达99.42%,优于基于支持向量机(SVM)和基于词频逆向文件频率(TF-IDF)的方法;与基于面向方面编程(AOP)的方法相比,该模型易于在Web应用启动后在线加载检测模块。实验结果表明所提模型能够在不修改应用程序执行引擎及源码的情况下,检测6种常见的SQL注入攻击类型,且具有在线检测的优点。

基于ECA规则的工作流时间约束分析

本文着重研究了工作流中各活动间的定量时序关系,提出了一种分析工作流中时间约束的方法。该方法针对基于ECA规则的工作流,通过建立及分析工作流的约束图,对工作流中活动间定量时序约束的一致性进行了分析,从而保证了工作流的正常运行。

利用基数约束规则编程消解ECA策略冲突

为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。

ECA规则中复合事件的CCPN建模与检测

事件的检测是主动数据库ECA规则执行中首要的一步,也是最重要的一步。采用条件着色PETRI网(CCPN)模型对ECA规则中的复合事件进行建模,进而通过检测复合变迁的使能状态和验证与该变迁相关联的条件,达到检测复合事件的目的。该方法既简化了模型结构的复杂性,又实现了模型的通用性。

基于ECA规则实现PVR系统中任务演绎和动作规划的新方法

投射式虚拟现实(PVR)技术是一种用来高效控制和管理机器人及其他自动化设备的新方法,任务演绎和动作规划是其中两大关键部件。从目前应用情况看,这两大部件在非结构化和部分未知环境下的执行过程中还存在着难以被有效构造等不足。通过将主动数据库中的ECA规则引入到基于PVR技术构建的仿真系统,讨论了实现任务演绎和动作规划的新方法,并据此建立了一个新的软件框架TD&AP_ECA。该框架不仅具有良好的柔韧性(即能根据操作者的要求方便地重新构造部分参数化仿真系统),而且为PVR技术的协作式和分布式应用提供了良好的扩展接口。通过机械手抓物的真实机器人仿真实例,形象演示了基于ECA规则的任务演绎和动作规划部件的柔性处理过程。同时,借助基于CORBA的EJB技术为TD&AP_ECA的分布式应用描述和实现了相应的接口。

基于ECA扩展企业经营信息主动服务机制

为了能将恰当的业务信息在恰当的时间传递给恰当的人,提出了一种扩展企业经营信息主动服务机制,它利用多agent技术实时捕获业务系统变化数据,将其转化为消息存放在消息队列中;规则引擎将消息队列中的消息转化为事实,并与业务人员事先根据分析需求制定的事件-条件-动作(ECA)规则进行匹配,激活匹配规则,执行规则附加动作.该机制可以解决信息实时生成、主动推送问题,能够为日常结构化决策行为自动化提供支持.

基于ECA规则的网络协同设计动态数据交换技术研究

动态数据交换是实现网络协同设计的关键技术,但是如果在协同设计中每一步的设计信息都进行实时交换,那必然在动态数据交换中包含了不必要的数据。为了解决这个问题,提出基于ECA规则的动态数据交换技术,并建立了应用该技术的网络协同设计系统框架结构。该技术通过应用主动数据库中的ECA规则监控几何图形的变换矩阵来识别模型实体数据的更新,并只传输满足条件的更新数据给STEP动态数据交换进行数据转换,从而减少数据信息的网络传输量以及在更新数据中降低不必要数据产生的可能性。另外,应用一个基于锁的并发控制机制来解决多用户的交互冲突。最后通过建立跨平台网络协同设计原型系统(CISCD)验证动态数据交换技术的有效性。

基于ECA规则的动态数据交换技术

动态数据交换是实现网络协同设计的关键技术,在协同设计中每一步的设计信息都进行实时交换必然导致在动态数据交换中包含不必要的数据。为了解决这个问题,该文提出基于ECA规则的动态数据交换技术。建立基于ECA规则的动态数据交换系统结构,并定义动态数据交换中的ECA规则和动态数据更新中事件间的基本关系。应用该技术实现了跨平台异构CAD系统之间动态数据的实时交互和一致性。

基于ECA规则推理的故障诊断技术

为适应故障诊断系统的主动性需求,扩展基于产生式规则专家系统的描述能力,将Event-condition-action(ECA)规则引入故障诊断系统,提出了基于ECA规则推理故障诊断系统的基本框架。形式化故障,分析故障要素与规则的关联,定义利用ECA规则对故障进行建模的方法,在此基础上阐述了基于ECA规则推理进行故障诊断的过程。以高速列车地面故障诊断系统为例验证了该设计的有效性与准确性。

柔性工作流动态行为建模方法

针对现有工作流动态行为建模柔性差的问题 ,研究工作流动态行为的柔性定义方法 .将活动的动态行为分为自身行为、嵌套行为和协作行为 .自身行为实际上是活动的状态转移的过程 ,通过 ECA规则描述活动的状态转移图可实现自身行为的定义 ;活动间协作行为实质上是参与活动间状态变化关联的过程 ,通过定义活动间状态的关联关系并用 ECA规则描述协作语义 ,可实现对嵌套和协作行为的细粒度柔性定义 .文中提出的可扩展方法适用于复杂或特殊环境下的流程建模 .

迁移工作流系统中的工作位置异常处理模型

针对迁移工作流异常的本地特性和工作位置的体系结构,提出一种基于事件-条件-动作(ECA)规则和案例推理(CBR)的工作位置异常处理模型。该模型采取主动检测和异常检测混合的检测技术,利用本地异常规则库实现工作位置异常处理。应用结果表明,该模型增强了不可预测异常、可预测异常的处理能力。

面向实体的军事仿真规则提取方法研究

针对目前军事仿真系统开发中存在的军事仿真规则提取不完备的问题,在充分发挥ECA规则提取方法优势的基础上,提出了面向实体的军事仿真规则提取方法。该方法以实体状态变迁为中心,运用系统论方法,重点分析实体的环境、功能、行为、组元和结构状态,并将分析结果引入ECA规则。通过将该方法应用于装备抢修组实施抢修的规则提取中,验证了其对于提高规则的完备性与可信性具有较好的效果。

基于触发器机制的主动数据库模型研究

触发器是当前商用DBMS用于完整性实施和主动控制的一个主要机制。为了满足许多应用系统对数据库系统的主动性需求,提出了一种基于触发器机制的主动数据库的新模型,并且在此模型基础之上,运用了一种简单的、易于实现的方法来建立基于触发器机制的主动数据库。

门户环境中基于语义数据协作应用集成方法

目前,门户的功能定位已经从传统的信息集成转向应用集成.门户环境中应用间的进一步集成实际上表现为Portlet互操作问题.现有Portlet互操作方法在共享范围、标准兼容方面存在不足且难于集成已有应用系统.提出了一种基于语义数据协作的Portlet互操作方法,其基本思想是:将参与互操作的Portlet抽象为ShadowComponent组件,然后基于本体建立ShadowComponent之间的语义数据关联,并使用ECA(event-condition-action)规则实现Portlet互操作.实验证明,该方法无须对已有应用作任何修改即可完成门户中的应用集成.

主动数据库中规则合流性问题的一个解决方案

提出一种解决主动数据库中规则管理的合流性问题的新方法，

基于WF-net的工作流恢复网模型的研究

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。

策略驱动的数据交换模型

针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的优缺点和数据交换特点,确立数据交换策略模型,建立策略驱动的数据交换模型的实现框架。

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念 ,采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理 ,为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法 .通过一个“过热警报”的应用实例说明了模糊事件 -条件 -动作 ( ECA)

基于规则的临床路径适应性工作流引擎

研究了骨肉瘤术前化疗过程中的一些典型变异及应对措施,给出了骨肉瘤术前化疗流程的部分扩展事件-条件-动作(ECA)规则描述,设计了一个基于规则的工作流引擎,说明了引擎的结构及工作流程,并介绍了引擎核心模块的设计.实例验证结果表明,该工作流引擎的自适应机制是可行的.

一种面向临床路径的工作流过程建模方法

提出了一种基于扩展事件-条件-动作(ECA)规则的临床路径工作流建模方法,构建了骨肉瘤临床路径工作流模型.该建模方法在临床路径工作流的建立阶段力求将动态特性进行描述和定义,临床路径执行阶段针对出现的变异情况可以对已定义的模型进行自适应调整,提高了建模的柔性和适应性.最后,利用开发的可视化建模工具对一个骨肉瘤术后评估和治疗案例进行了分析验证.