工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

基于Web的安全工作流管理系统的设计

指出了已有的基于Web的工作流管理系统的缺陷,要么很少考虑系统的安全性,一般只提供了简单的身份验证,很难满足高安全工作流应用的需求;要么加上一个安全模块,这种方式可行,但通用性差,构建了一个基于Web的安全工作流管理系统,该系统采用从头设计而不是在已有的工作流系统上加一个安全模块的方法,具有很好的安全性和通用性。     

命名数据网络中基于增强隔离林的Interest包洪泛攻击检测方法

IFA是NDN中的恶意攻击之一,危害较大.针对IFA,提出基于增强隔离林的IFA检测方法,通过在构造增强隔离林的过程中区分Interest包所携带的合法前缀与异常前缀,对异常前缀进行进一步判断,从而准确地检测出恶意前缀.所提出的方法将检测出的恶意前缀列入黑名单中,限制携带恶意前缀的Interest包转发.仿真结果表明：该方法能够有效地缓解IFA.     

命名数据网络中Interest洪泛攻击检测与防御

根据命名数据网络使用数据名称进行数据转发的特性,目前NDN中出现了一种基于兴趣包洪泛攻击的分布式拒绝服务攻击,对NDN网络危害较大.针对IFA,提出了一种基于Poseidon的改进方法——PAP,检测NDN路由器接口是否存在IFA,并构建interest包超时未响应表判断疑似恶意前缀.若存在IFA,则概率性限制该接口接收名称包含疑似恶意前缀的interest包速率,仿真结果表明PAP能够有效缓解IFA.     

基于扩展任务结构的工作流建模及分析

任务结构是工作流管理系统中常用来进行工作流建模的语言,但其核心是过程控制流方面的规范,对其他方面很少涉及,比如活动间的信息流、时间约束等等.本文首先对任务结构进行了扩展,加入了资源和多粒度时间的概念,使其除了能描述任务的相关性外,也能很好地模拟任务间的信息流以及由于流程的分布性等因素而引起的多粒度时间约束.接下来对扩展任务结构的多粒度时间约束一致性和合理性进行了分析和验证.     

分布式工作流系统的授权与管理

根据分布式环境下工作流应用的需求,在基于角色授权的基础上补充了基于用户资格和特征的授权模式,提出了分布式环境下基于工作流域层次结构的用户授权管理模型,并综合利用了推结构和拉结构技术,给出了用户授权指派的高效算法.     

基于角色访问控制的授权约束描述

提出了一个描述基于角色访问控制的授权约束的直观的形式化语言,证明了该授权约束描述语言在语义上与严格形式的一阶谓词逻辑RFOPL是等价的,并通过用该授权约束描述语言表示各种各样的授权约束来说明它的表现能力.     

题库管理系统的分析与研究

题库管理系统的建设是促进教育改革和提高教学质量及效率的一项重要工作.结合题库管理的实际需求,从保障系统的安全性、提高成卷的质量这2个方面出发,对题库管理系统的访问控制策略和组卷策略进行探讨和研究.     

基于数据模型的编程应用

引入了数据模型的概念、原理和方法,给出了基于数据模型的编程应用实例,证明了该系统能用同一数据模型与不同用户数据进行绑定来提取所需数据的通用性.     

命名数据网络中一种显式拥塞控制方法研究

针对命名数据网络中的数据拥塞控制问题,提出了一种基于即时调整兴趣包发送速率的显式拥塞控制方法.当网络发生拥塞时,通过计数器和整形队列对贪婪流的速率进行限制,并更新兴趣包中的拥塞信息域将其逐跳反馈给下游路由节点;通过数据包将拥塞信息反馈给内容请求者,内容请求者据此调整兴趣包发送速率.同时引入延时差值来对不同数据流进行优先...