组合Web服务访问控制技术研究综述

访问控制技术是保证Web服务组合增值应用安全性和可靠性的关键技术。主要论述了组合Web服务访问控制技术的研究现状及其问题。首先论述了组合Web服务安全面临的挑战;接着基于层的视角对组合Web服务安全问题进行了分析;然后从组合Web服务访问控制体系构架、原子安全策略的一致性协同和业务流程访问控制3个方面分析了组合Web服务访问控制核心技术研究的进展;最后,结合已有的研究成果,指出了目前研究的不足以及未来的发展趋势。

一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.

基于用户视角的组合Web服务响应时间优化

针对响应时间,通过选择、调用合适的成员Web服务,对组合Web服务的QoS进行优化．该优化方法基于用户的视角,将组合Web服务运行时用户一次等待周期中需要执行的所有任务作为一个整体进行调度;同时根据组合Web服务流程的不同环节中用户对等待时间的不同敏感度,设置调度参数,降低关键环节超时的风险．实验表明,此方法可以有效地优化组合Web服务的响应时间,提高用户的满意度和QoS．

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.

基于组合Web服务的电子商务解决方案

Web服务作为一种新兴的Web应用模式,已成为电子商务的有效解决方案。它是崭新的分布式计算模型,是Web上资料和信息集成的有效机制。为提高电子商务中服务的质量,灵活地根据用户需求对子服务进行组合提出了电子商务中保持组合Web服务的一致性的解决方案,并通过实例说明该方案的正确性。

组合Web服务业务流程访问控制技术研究综述

业务流程访问控制是保证组合Web服务增值安全应用的关键技术,着重论述了组合Web服务业务流程访问控制技术的研究现状及问题。首先对组合Web服务业务流程安全需求进行了分析,然后从组合Web服务业务流程访问控制模型、业务流程运行时访问授权约束、业务流程协同访问授权的一致性检验3个方面分析了业务流程访问控制核心技术的研究进展。最后,结合已有的研究成果,指出了目前研究的挑战以及未来的发展趋势。

组合Web服务的分散协调模式

本文针对组合Web服务的集中协调模式的弊端,分析了组合Web服务的分散协调模式的优点,并结合在BP-WS4J运行环境下的具体例子,讨论分析了分散模式下系统构造期和运行时所面临的问题及解决方案。

组合Web服务劫持攻击的研究与实现

组合Web服务在给基于异构平台的应用集成带来极大便利的同时,其自身面临着各种恶意攻击的威胁.根据组合Web服务开放性、分布式的特点,提出了针对组合Web服务的服务劫持攻击方案,包括劫持洪泛攻击、服务假冒攻击和服务重放攻击.详细介绍了这些攻击方式的设计思想,模拟实验结果表明设计的攻击方案对组合Web服务产生了严重影响.论文的研究成果有助于设计针对组合Web服务的攻击检测方法.

组合Web服务的价值分析方法

为评判组合服务中包含的原子服务及其QoS是否妨碍客户期望价值的充分实现,从而为后续组合服务的优化提供依据,研究组合Web服务的价值分析方法。提出基于状态转换的组合服务价值表述和度量方法,将组合服务所能提供的功能和能够达到的服务质量作为价值期望的约束条件,进而研究价值可满足性的判定方法,提出影响价值实现程度的责任点、关键度、敏感度分析方法,目标是找到妨碍价值充分实现的原子服务及其服务质量,为后续组合Web服务的优化提供依据。通过案例验证了所提方法的有效性。

基于活动授权的组合Web服务业务流程动态访问控制模型研究

业务流程访问控制机制是组合Web服务安全应用中的难点问题。针对现有研究不足,提出基于活动授权的Web服务业务流程动态访问控制模型AACBP(Activity Authorization Based Dynamic Access Control Model for BPEL4WS)。通过解除组织模型和业务流程模型间的耦合关系,AACBP将活动授权作为BPEL4WS(Business Process Expression Language for Web Services)活动访问控制实施的基本单元。依据活动实例动态感知上下文,AACBP细粒度约束活动访问授权,实现授权流与业务流程执行同步。最后给出AACBP模型在Web服务安全组合中的实施机制。

基于有限状态自动机的组合Web服务性能优化

组合Web服务的业务流程可以通过有限状态自动机来描述。传统的组合Web服务采用集中式的执行方式,它会带来不必要的网络流量和数据堵塞,造成大量的通信开销。提出一种基于有限状态自动机的非集中式的执行策略,在自动机的状态空间中运用启发式搜索算法执行总体代价最优的路径,从而有效减少消息传递数量,提高系统吞吐量。基于该方案设计了一个原型系统来验证系统整体性能的最优化。

组合Web服务分层安全模型研究

随着Web服务技术的应用与发展,组合Web服务的安全问题日益突出。已有的Web服务安全规范只是指定实现单独的自治Web服务安全需求应该遵循的协议,尚没有一个被广泛接受的组合Web服务安全体系架构。指出了现有的Web服务组合安全框架研究的不足,分析了组合Web服务的安全模型的要求。针对Web服务应用模式,提出了一种基于Web服务协议栈的组合Web服务分层安全模型(HSM-WSC),并对每个层的安全功能进行了论述。HSM-WSC模型具有灵活性和可扩展性,能够满足Web服务组合的安全需求。最后还给出了HSM-WSC模型的实施机制。

组合Web服务的建模与BPEL语言描述

基于时间扩展的ASEHA自动机理论,以旅行预订票组合Web服务为例,分别建立了旅行者(Traveler)、旅行代理(Travel Agent)及航空公司预订票(Airline Reservation)三个自动机,并给出该服务的BPEL语言描述。

组合Web服务事务的补偿语义研究

Web服务组合需要可靠的事务处理机制,而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法,该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义,分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。

基于改良蜂群算法的Web服务组合优化方法

为提高Web组合优化算法的开发能力和运行结果的适应度、稳定性,以满足用户对Web服务的服务质量(Quality of Service,QoS)需求,提出了一种基于QoS模型和改良蜂群算法(modified Artificial Bee Colony,mABC)的Web服务组合优化方法。构建应用于Web服务组合优化问题的QoS顺序数学模型,使用基于混沌的对立学习方法,在进程运行的初始化阶段生成更好的初始群体,在蜂群算法的雇佣蜂阶段和围观蜂阶段使用新的相位搜索方程和围观搜索策略,有效地提高蜂群算法的探测能力和开发能力。将改良蜂群算法与人工蜂群算法(Artificial Bee Colony,ABC)、差分进化算法(Differential Evolution,DE)、改进灰狼优化算法(Modified Grey Wolf Optimizer,MGWO)、最优导向人工蜂群算法(Guided-best Artificial Bee Colony,GABC)和改进人工蜂群算法(Improved Artificial Bee Colony,IABC)进行了多次对比实验。实验结果表明,改良蜂群算法尽管在执行时间方面比其余算法都要略微长一些,但它在更为重要的适应度、稳定性方面都优于其余几种对比算法。

UCON支持的组合Web服务业务流程访问控制模型

业务流程访问控制机制是组合Web服务应用中的难点,现有的访问控制模型忽视了流程活动之间动态交互性和协同性的特点,不能适应业务流程权限的动态管理.本文提出一种使用控制支持的组合Web服务业务流程动态访问控制模型WS-BPUCON,模型通过角色和权限的分离解除了组织模型和业务流程模型的耦合关系,能够根据分布式开放网络环境中的属性信息,基于授权、职责和条件三种约束决定策略来检查访问控制决策,具有上下文感知、细粒度访问管理等特性,给出了WS-BPUCON的实施框架.

基于BPEL的Web服务组合测试路径生成

文章以更好地实现服务组合测试为目标,提出基于BPEL的Web服务组合测试路径生成方法。首先将应用于描述BPEL流程的模型WFDAG,通过DAG对Web服务工作流进行建模,有效保证数据流测试路径的生成。然后以此为基础应用扩展后的分析方法,并采取覆盖原则ALL-USES进行数据流测试。最后以变量信息为指标分析所构建的WFDAG模型,从而获取符合所有既定数据流标准的测试路径。

基于改进蚁群算法的Web服务组合优化

为解决基础蚁群算法存在的前期搜索速度慢、后期容易陷入局部最优解的问题,针对服务组合的动态性、不稳定性以及非功能属性限制等情况,提出基于改进蚁群算法的Web服务组合优化方法。首先分别介绍基本蚁群算法和L-I-ACO改进蚁群算法,再将其应用到Web服务组合优化建模中,最后通过对比实验测试两种算法的性能。实验结果表明,L-I-ACO改进蚁群算法性能较好,它弥补了基础蚁群算法的不足,提高了动态组合优化过程中的准确率和效率,更利于选取符合客户要求的服务。

基于SOA架构的Web服务组合系统

应用SOA架构是构建松散耦合Web服务组合系统的一个有效途径.本文在深入研究Web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建Web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现Web服务组合,可为Web服务组合的研究和企业应用提供灵活的实验及应用开发平台.