关键词: 安全属性 多层状态机 安全工作流模型 授权函数 授权过程

Abstract:

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, controlion 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.

Key words: （security properties;multi-layered state machine, secure workflow model, authorization functions; , authorization flow）