过程模型中控制流反模式的定义和检测方法

提出一种过程模型中控制流反模式的定义和检测方法,抽取不同过程模型中的控制流结构并将其规约为语言无关的过程结构树,基于不同控制流反模式的CAPDL定义,在过程结构树上查找与之对应的控制流反模式。该方法既支持不同的过程建模语言,也允许用户自定义控制流反模式。基于215个实际BPMN过程模型的反模式检测试验表明,该方法可以有效地检测用户自定义的控制流反模式,与已有方法相比,该方法极大地提高了反模式检测的检测效率。     

基于Web工作流表单的设计与实现

针对基于Web的工作流管理系统中用户对表单需求不断变化的问题,设计了基于Ajax的表单设计器,实现了表单的自定义.提出了一种基于表单的流程推动模型,给出了工作流与该自定义表单集成的方法,增强了工作流管理系统的可扩展性和柔性,满足了对表单定义灵活性的要求.     

基于动态分析的控制流劫持攻击检测

控制流完整性策略能够有效地防御控制流劫持类攻击,但复杂的控制流图构建使该策略的实际部署非常困难.为了有效地针对控制流劫持攻击的检测手段,提出一种基于程序异常行为来检测控制流劫持攻击的方法,并基于该方法实现了控制流劫持攻击检测系统.实验表明,该方法能够有效地检测出由控制流劫持攻击造成的各种程序异常行为,基于该方法的攻击检测系统运行效果良好,能够方便的部署到实际应用环境中.     

基于Petri网业务流程模型抽象方法研究

在传统的对模型抽象进行行为语义和控制流结构分析的基础上,提出了基于Petri网的业务流程模型行为轮廓的业务流程模型。将Petri网的理论和性质应用于业务工作流系统当中,能够从系统的运行过程和形式化的图形描述方式实现对工作流系统的快速建模和分析;定义了一个新的流程模型活动聚合公式算法,拓展了行为轮廓关于控制流结构上的模型抽象。     

基于OEM的网站用户访问历史模型

基于适合半结构Web数据分析的OEM模型 ,对用户和网站交互进行了形式化定义 ,在此基础上提出基于OEM模型的网站用户访问历史模型 ,同时给出分析用户访问行为的指标定义 ,为进一步分析用户访问行为模式、优化网站结构以及展开个性化服务提供较强的支持     

基于UML2.0活动图的工作流模型研究

总结了UML 2．0活动图新特性,定义了一个基于UML 2．0活动图的工作流模型的形式化描述方法,并提出其基本控制流模式和建模规则．最后用一个应用实例来演示基于UML2．0活动图的工作流模型。     

基于用电特征分析的异常用电检测方法

针对目前异常用电检测中存在的专变用户窃电率高、窃电模式难以察觉、使用窃电检测模型查找窃电用户过程中训练集不足的问题,提出了一种基于用电特征分析的无监督方式异常用电检测方法.该检测方法引入离群点查找算法,量化了海量数据中不同异常用电行为,将其提取为异常用电特征序列,并且根据专变用户不同计量方式和用电特点,构建了基于局部离...     

移动IPV6中基于用户移动模式的位置管理

首先在移动IPV6协议中引入了寻呼功能,并定义了用户的两种状态--活动状态和空闲状态,其次针对不同的用户移动模式,提出了基于时间、用户历史和用户个体属性的移动模式,利用该模式以及用户的状态对移动IPV6的位置管理策略进行改进,在移动IPV6中提出了基于用户移动模式的位置管理策略(P-MIP-PBS),模拟结果表明该位置管理策略显著地减少了位置注册信令开销,提高了系统的性能.     

采用控制流监控的Cisco IOS指针攻击检测方法

针对当前Cisco IOS(internetwork operating system)漏洞攻击检测方法检测效率低的问题,提出了一种采用控制流监控来判定Cisco IOS指针攻击的方法。该方法通过静态分析和动态跟踪相结合的方式对Cisco IOS中不同类别的控制流分别构造合法转移地址集合(legal transfer address collection,LTAC),并在发生控制流转移时将转移地址在LTAC之外的控制流判定为攻击,同时捕获异常控制流转移的详细信息。实验结果表明:该方法可以准确地捕获针对Cisco IOS的指针攻击,支持对攻击过程的分析,与现有的Cisco IOS漏洞攻击检测方法相比,具有较高的检测效率,能够为网络安全性的提升提供帮助。     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O(P)(P是路径数目)减少为O(N+E)N)(N是控制流图节点数，E是控制流图边数)。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。