基于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规则的工作流模型 ,并将该模型与基于Petri网和基于UML活动图的工作流模型进行了比较。提出了一种基于事件表达式重写策略的事件检测方法 ,以提高工作流引擎的执行效率。最后 ,介绍了一个基于ECA规则的工作流技术的应用系统。

基于ECA规则和活动分解的工作流模型

企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR（business process re-engineering）的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC（workflow management coalition）元模型基础上建立了一种基于ECA（event-condition-action）规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA（trigger-action）模型,使模型的解析更高效,把事件重写为事件发生时间,使事件表达式具有更强的表达能力.活动分解的模型能很好地支持层次化项目管理.

基于ECA规则和事物特性表的产品配置模型

针对按订单制造和按订单设计产品的特点,采用event-condition-action(ECA)规则和事物特性表建立产品配置模型.设计人员根据ECA规则对组成产品族的必选模块和可选模块进行选择,得到定制产品的结构;借助于模块的事物特性表对其进行变型设计,即可快速得到个性化的定制产品.结合工业汽轮机的配置设计,给出了汽轮机本体中汽缸部分的配置模型和实例.该配置模型不仅有利于提高产品配置效率和配置成功率,而且还可以保证产品全生命周期中数据的一致性.

一种基于ECA规则的Web Service工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷。给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例。

采用ECA介体实现数据库触发器功能

封装了ECA规则的介体程序,不修改客户应用程序和数据库管理系统内核,可实现数据库触发器的事件检测、条件判断、动作执行等主动功能。其实现方式有轮询、层次化、远程过程调用等。将ECA介体引入XBase数据库,介体语言过滤器则将客户请求分离为ECA规则、过程调用和SQL命令等部分。介体同时封装了ECA规则解析器、事件检测器和动作执行器。

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

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

基于ECA规则和多代理的敏捷供应链管理

敏捷供应链已成为企业提高全球化市场竞争力的有效手段。由于市场的动态快速变化 ,企业经常需要进行供应链的重新组合 ,因此 ,如何使供应链管理信息系统能够适应企业重组的需要 ,以降低成本 ,就显得非常重要。基于多代理技术的供应链管理信息系统 ,可实现企业的信息和事务处理 ;利用事件 -条件 -活动规则表达企业的商务逻辑 ,可调度多代理的执行。该系统具有软件可重用性、可重构性和动态可扩展性 。

普适计算环境下基于模糊ECA规则的访问控制方法

上下文信息是普适访问控制的关键因素,对主体授权和权限使用过程具有决定性影响。普适计算环境下,主体权限、资源访问控制强度和安全策略应随上下文的变化而动态自调节。已有访问控制模型均未考虑上下文对普适环境下访问控制的主动性影响,使得访问控制的主动性和自适应性较差。为了描述上下文对普适访问控制中主体权限、访问控制强度和安全策略的主动性影响,通过对传统ECA规则进行模糊扩展,设计了一种基于区间值模糊集合理论的模糊ECA规则模式,提出了基于模糊ECA规则模式的主动访问控制方法,使授权和访问控制自适应于普适计算环境。

基于ECA规则的业务行为描述方法

给出了业务行为的形式化描述,并在此基础上利用ECA规则详细给出了业务行为过程的描述方法、业务行为内部活动之间的关系模型,以及不同业务行为之间的关系模型,使业务行为过程描述变得清楚,而且有利于机器的自动解释。基于ECA规则的业务过程模型对过程的调整和动态变化带来了方便,增强了其适应变化的能力。

基于活动分解和ECA规则的软件过程建模

软件过程由多个活动组成,活动可以分解成子活动,活动间的关系包括静态关系和动态关系。提出基于活动分解和ECA 规则的过程建模。通过活动分解对软件过程的静态部分进行建模,描述活动与子活动之间的关系;通过ECA 规则描述活动之间的动态时序关系,即描述触发活动的事件和内部条件,给过程的调整和动态变化带来了方便,增强了其适应变化的能力。

从工作流网向ECA规则的转换

基于 ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术 ,因而目前已被广泛应用 ,但 ECA规则难于形式化描述的特性 ,使得在工作流建模时 ,不能够保证工作流系统的语义的正确性 ;而 Petri网具有形式化的描述的基础和正确性分析的优点 ;本文将这两方面结合起来 ,对基于 Petri网的工作流网中控制流结构的分析给出了由 Petri网向 ECA规则转化的方法 ,通过 Petri网的形式化的验证后的 ECA规则的转化 ,可以保证基于

基于XML和ECA规则的工作流建模及执行

长期以来,工作流产品互操作性的缺乏、尤其是工作流建模语言互操作性缺乏,已成为阻碍工作流技术进一步发展的重要因素,XML作为万维网组织规定的结构化的标记语言,它可以用作描述过程模型的共同语法格式,有望解决工作流描述语言的互操作性问题。文章介绍了采用基于XML的工作流描述语言XFL及其工作流管理系统XFMS。由于XFL本身并不是可执行模型,XFMS系统在低层采用了基于规则的工作流执行系统。并给出了从XFL语言到ECA规则的映射方式,所采用的方法综合了面向规则系统的灵活性以及基于XML模型的可交换性和易学性。

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

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

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。

基于ECA的温室控制系统测量与执行层模型

现代农业温室中,控制设备和数据采集设备硬件种类繁多、接口复杂多样。该文在采用分层结构分布式温室控制系统的测量与执行层中,定义参数变量表描述硬件输入/输出接口。基于事件驱动方式,将ECA规则用于数据采集和控制动作输出过程开发,并将多个ECA规则定义和组合用于描述复杂控制动作时序。测量与执行层封装控制设备的硬件接口差异,使系统具有组态配置功能,并将一些复杂控制驱动过程分解成几个简单的控制子过程来组合实现。

基于ECA规则的入侵检测研究

入侵检测系统一般只对入侵行为所引起的事件或系统特征进行分析,而往往忽略了入侵事件间的关联特征,以及入侵事件和系统状态间的联系。文章将ECA规则引入到入侵检测系统中,同时对系统动态特性和静态特性进行了分析,从而提高入侵检测的能力。

基于扩展Petri网的ECA规则集表示及终止性分析

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN,extended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响。理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度。

基于ECA规则的BPEL异常流程定义方法

当前进行Web服务编排的首选标准流程语言是BPEL4WS。在流程编排过程中,除了关注正常情况下的流程定义场景,如何清晰、快速地描述BPEL流程中出现的异常也同等重要。文中把数据库领域的ECA技术用于BPEL异常流程定义中,通过对实际业务流程进行分析,把流程中出现的异常分支都映射成ECA规则;此外,提出了BPEL规范中的异常定义元素与ECA元素的对应关系;在上述工作的基础上,实现BPEL异常流程的快速定义。通过对电信企业的施工过程进行分析,验证了该方法的可行性。

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

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