Constraint expressions and workflow satisfiability
Constraint expressions and workflow satisfiability
复制标题
约束表达式和工作流可满足性
DOI：
10.1145/2462410.2462419
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Crampton J
中科院分区：
文献类型：
--
作者：
Crampton J
工作流规范定义了一组步骤以及必须执行这些步骤的顺序。安全需求和业务规则可能会对允许哪些用户执行这些步骤施加约束。一个工作流规范被称为是可满足的，如果存在一个分配的授权用户的工作流步骤，满足所有的约束。一个算法，用于确定是否存在这样的分配是很重要的，无论是作为一个静态分析工具的工作流规范，并为工作流管理系统的运行时参考监视器的建设。我们开发了新的方法来确定工作流的可满足性的基础上的概念的约束表达式，这是最近推出的Khan和Fong。这些方法是令人惊讶的通用性，使我们能够开发算法，并确定的复杂性，一些不同的问题，工作流的可满足性。
A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements and business rules may impose constraints on which users are permitted to perform those steps. A workflow specification is said to be satisfiable if there exists an assignment of authorized users to workflow steps that satisfies all the constraints. An algorithm for determining whether such an assignment exists is important, both as a static analysis tool for workflow specifications, and for the construction of run-time reference monitors for workflow management systems. We develop new methods for determining workflow satisfiability based on the concept of constraint expressions, which were introduced recently by Khan and Fong. These methods are surprising versatile, enabling us to develop algorithms for, and determine the complexity of, a number of different problems related to workflow satisfiability.
登录
查看更多内容
基于关系的工作流授权模型的可满足性和可行性
DOI：
--
发表时间：
2012
期刊：
European Symposium on Research in Computer Security
影响因子：
--
作者：
A. A. Khan;Philip W. L. Fong
通讯作者：
Philip W. L. Fong
安全敏感业务流程的模型检查
DOI：
--
发表时间：
2009
期刊：
USENIX Conference on File and Storage Technologies
影响因子：
--
作者：
A. Armando;Serena Elisa Ponta
通讯作者：
Serena Elisa Ponta
DOI：
--
发表时间：
2012
期刊：
Conference on Computer and Communications Security
影响因子：
--
作者：
J. Crampton;G. Gutin;Anders Yeo
通讯作者：
Anders Yeo
最佳工作流程感知授权
DOI：
--
发表时间：
2012
期刊：
ACM Symposium on Access Control Models and Technologies
影响因子：
--
作者：
D. Basin;Samuel J. Burri;G. Karjoth
通讯作者：
G. Karjoth
DOI：
10.1145/2487222.2487226
发表时间：
2012-05
期刊：
ACM Trans. Inf. Syst. Secur.
影响因子：
--
作者：
J. Crampton;G. Gutin;Anders Yeo
通讯作者：
J. Crampton;G. Gutin;Anders Yeo