数字海洋云计算平台工作流安全机制

云计算技术业已成为计算机资源交付使用的一种越来越受关注的方式。随着云计算技术的发展,其安全问题也面临巨大挑战。工作流管理系统是“数字海洋云计算平台”的重要组成部分,其中,资源鉴权和用户身份认证贯穿于工作流管理系统所有过程。文中研究数字海洋云平台上用户管理和定制复合模型工作流过程中的安全问题。根据数字海洋云平台上用户定制服务流时使用公有、私有资源安全问题和用户身份认证等功能,提出了一种工作流安全机制,结合手机和电子邮箱的双因素口令技术。     

基于消息队列中间件的总线式工作流管理系统设计

探讨一种新的基于消息队列中间件的工作流管理系统，在消息队列中间件的支持下，工作流管理系统具有高的可靠性和稳定性、路由配置、松散耦合、事务及其安全支持、并发支持等优良的特性。理论与实验的结果表明，这种分布式工作流管理系统可以为电子商务应用提供新的解决方案。     

应用于电子商务的工作流管理系统的研究

分析了传统工作流技术在电子商务活动中应用的局限性，提出了一种适用于现代电子商务的工作流管理系统，研究了其中的关键技术。     

工作流管理系统设计与实现

近年来,分布式工作流系统已经成为计算机方面的研究热点。工作流管理系统能够在生产设计过程中提高效率、降低成本、提高竞争力。随着网络技术和软件技术的发展,工作流系统已经得到了广泛的应用。通过介绍工作流管理系统的基本概念和结构,提出了一种基于J2EE的工作流管理系统的设计方案,使用shark开源工作流引擎,采用分布式策略将工作流系统功能模块化。通过对总体过程进行描述,各个模块间的相互配合工作,实现了B/S结构的工作流管理系统并应用于飞行器设计系统中。     

面向迁移工作流管理系统中工作位置的安全问题研究

迁移工作流为工作流技术提供了一个新的研究方向,同时也给迁移工作流管理系统带来了更多的安全问题。文中重点研究迁移工作流管理系统中工作位置的安全问题,根据这些问题给出了工作位置的安全策略,并根据安全策略提出了一个工作位置的安全模型,并详细介绍了模型中的安全加载、状态监测和访问控制几个方面的关键技术和实现。     

S-Shark安全工作流管理系统设计与实现*

以工作流信息模型安全机制不足为研究对象,通过模型扩展的方法,建立一种安全工作流访问控制模型ETRBAC。该模型在典型T-RBAC模型基础上,提出了职责分离约束和基数约束等问题的解决方案。结合优秀开源工作流管理系统Shark,设计并实现了ETRBAC模型中的相关安全机制,形成S-Shark(secure-Shark)工作流管理系统。S-Shark具有安全性、易用性和可扩展性等优势。     

基于模型检测的工作流访问控制策略验证*

访问控制策略的有效性对工作流管理系统的安全稳定运行具有重要影响,针对这一问题,提出了一种基于模型检测的工作流管理系统访问控制策略验证方法。建立了工作流管理系统的访问控制策略模型与工作流执行主体任务权限状态模型,并在此基础上对访问控制策略的有效性进行验证。实验表明该算法具有有效性和合理性,为访问控制策略的验证提供了一条新的解决途径。     

基于Lotus平台的工作流管理系统的研究

工作流管理系统的开发已成为信息系统领域的最重要研究内容之一。本文介绍了以Lotus Domino/Notes平台设计的一套企业工作流管理系统,分析了工作流管理中工作流定义功能,以及工作流管理过程中的安全性问题。     

基于移动Agent的工作流管理系统研究

在分析大多数工作流管理系统的现状以及移动Agent技术特点的基础上,提出一种基于移动Agent的工作流系统架构,并利用IBM的移动Agent系统——Aglet实现原型系统。该架构采用移动Agent的安全机制,同时通过RSA公开密钥加密算法保护移动A-gent所携带的信息,提高了安全性能。实践证明,基于移动Agent的工作流管理系统是可行的和先进的,能够有效地解决现有工作流管理系统中存在的效率问题和安全问题。     

基于Web Service的电子政务工作流系统的研究

本文阐述了工作流技术和Web服务的体系结构及其主要技术。分析了当前电子商务务系统中存在的问题,为解决这些问题,构架了一个集成服务体系结构,设计了基于Web Service的电子商务工作流管理系统,并在监狱的电子政务建设中实现了该系统。     

一个结构化的工作流模型建模方法

工作流技术在过去的几年一直是研究领域的一个热点。工作流建模是该技术中的重点。一个定义的很理想的工作流模型可以使得工作流系统有效的运行。因此如何确保工作流模型的正确性和一致性是工作流建模过程中的关键问题。对工作流的建模采用了一种结构化的方法。就象现代结构化编程的工作方式，用以避免建模过程中各种各样的错误。将对该思想的产生、对错误的更正以及对模型的表述进行说明。     

迁移工作流中MI的迁移策略研究

迁移工作流是将移动agent计算模式应用于工作流管理的一项新技术。迁移实例(MI)、工作位置和迁移工作流管理引擎构成迁移工作流管理系统的三要素。其中,MI是以移动agent为计算范型构造的业务过程执行agent,它可以在工作位置之间移动并按照自身携带的工作流说明,就地利用服务执行一项或多项任务。MI的迁移策略是整个迁移工作流系统的核心问题之一。针对MI的服务定位问题,提出了一个分层结构的迁移工作流服务模式,在它对服务进行管理的同时也负责为MI导航;针对迁移目的地的选择问题在充分考虑了主机硬件可用度、主机资源以及迁移实例目标与主机提供服务的匹配程度的基础上,提出了包含静态和动态等要素在内的目的地主机可用度评估方法,用以确定MI的迁移目的地。最后,给出了实验过程描述和对结果的讨论分析。实验表明,分层结构的工作流服务组织形式以及目的地主机的可用评估方法,有效提高了系统效率。     

数字校园统一安全接入平台的研究

文章根据数字校园应用服务多、用户群体活跃、安全管理松散等特点,提出了一个基于PKI/PMI技术的统一安全接入平台的设计方案。文中给出了系统总体设计模型图和系统的工作流程,并对此模型图中的主要功能模块进行了设计。     

面向服务的工作流动态访问控制模型

访问控制是提高工作流系统安全的重要机制.基于角色的访问控制(RBAC)被绝大多数工作流系统所采用,已成为工作流领域研究的热点.基于传统的RBAC模型,从工作流访问控制模型与流程模型分离的角度出发,提出了一种面向服务的工作流动态访问控制模型--SWDAC模型.模型中引入服务和上下文的概念,加强了对动态工作流系统的描述能力,并有效增强了访问控制的灵活性和系统的安全性.该访问控制模型已在自主研发的基于J2EE的工作流管理平台中实施.     

基于角色的访问控制在WFPN模型中的实现

大多数现存工作流系统缺乏如验证、网络安全等基本安全服务，本文研究了基于角色的访问控制并应用于WFPN模型：首先定义了扩展的RBAC模型及WFPN模型，然后描述了安全机制的实现过程，最后采用COTS技术来实现我们的系统结构。     

面向服务工作流的分布式事务管理研究

Web服务与工作流技术的结合有助于提高企业应用系统的可扩展性和互操作能力。该文提出了基于协调策略的面向服务工作流的业务流程管理的思想,介绍了面向服务工作流的分布式事务管理框架的总体结构和设计原理,为面向服务工作流的研究提供了一种新思路。     

科学工作流管理系统中基于用户分组的角色访问控制

访问控制机制是科学工作流管理系统中安全控制的重要内容。本文在事务工作流系统中基于角色的访问控制模型的基础上,结合科学工作流的特点和需求,提出了基于用户分组的角色访问控制机制（UGRBAC）;在科学工作流管理系统中增加单独的访问控制模块,在科学工作流流程定义阶段以及工作流执行阶段对用户进行访问控制,有效地控制了各类用户对服务和资源访问的限制,并且为服务提供者提供了访问权限设置的功能。     

基于Cookie的Web服务安全认证系统

Web服务是一种崭新的分布式计算模式,是下一代电子商务的框架。但Web服务能否顺利发展的关键是其安全问题,对Web服务请求者的身份进行认证是解决安全问题的重要途径。为克服HTTP协议的无状态性,在对基于cookie的认证机制的实现原理和过程进行分析和研究的基础上,提出了一种基于Cookie的认证系统,详细介绍了其工作流程。谊认证系统具备单点登录和适应所有浏览器等特点,比较适合于Web服务在单域内的安全认证。     

一种基于BPEL4WS规范的业务流程设计器的解决方案

将Web服务和传统的工作流技术相结合至业务流程管理系统中，对业务流程进行设计和更改是至关重要的。本文为WSBPMS提出了一套基于BPEL4WS规范的业务流程设计器的解决方案，描述了流程设计器的总体结构以及其中的关键技术。     

WEB工作流的访问控制研究与实现

由于WEB技术本身所具有的分布式、广域访问的特点以及企业现在普遍比以往更加重视自身的信息安全问题,在基于WEB的工作流的设计和实现过程中,访问控制问题成为一个至关重要的议题。文中从一个企业级的WEB工作流系统基础出发,探讨在一个典型的基于WEB的工作流应用系统中,如何对来自广域环境下的用户访问进行有效的控制并提供安全的授权机制。同时能提供与企业组织结构相适应的动态的角色权限分配管理机制。