关键词: 访问控制模型 一阶谓词 业务流程管理

Abstract:

As an extension of the Task-Based Access Control （TBAC） model, an access control model based on activities and context constraints（ACBAC） is propo sed. This model is characterized by a four-tuple { policy, constraint, context, authorization transaction unit}. The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.

Key words: access control model, first order predicate logic, business process management