基于多层状态机的安全工作流模型

本文介绍了安全工作流以及状态机的基本概念，通过对工作流中安全属性的研究，提出了一种基于多层状态机的安全工作流模型。该模型架构分为工作流层、控制层和数据层三个层次，我们分别从任务、事件和数据角度来分析安全工作流的执行。最后，我们介绍了多层状态机中的授权函数，并详细阐述了安全工作流模型中各个层次的授权过程。

A Secure Workflow Model Based on the Multi-Layered State Machine

In this paper, a secure workflow model for the multi-layered state machine is proposed based on the research of the three security properties and the state machine for workflow. The novel part of this model separates a workflow into three layers: workflow, control and data, and we analyse its execution from the viewpoints of task, event and document.Furthermore, a set of authorization functions is defined to support the multi-layered state machine which is used to manage and monitor the flow of authorizations at different layers for a secure workflow execution.