Counterexample to theorems of Cox and Fine
Joseph Y. Halpern
aaai 1996
Workflow Management Systems(WfMSs) are use to support the modeling and coordinated execution of business processes within an organization or across organizational boundaries. Although some research efforts have addressed requirements for authorization and access control for workflow systems, little attention has been paid to the requirements as they apply to application data accessed or managed by WfMSs. In this paper, we discuss key access control requirements for application data in workflow applications using examples from the healthcare domain, introduce a classification of application data used in workflow systems by analyzing their sources, and then propose a comprehensive data authorization and access control mechanism for WfMSs. This involves four aspects: role, task, process instance-based user group, and data content. For implementation, a predicate-based access control method is used. We believe that the proposed model is applicable to workflow applications and WfMSs with diverse access control requirements.
Joseph Y. Halpern
aaai 1996
Hironori Takeuchi, Tetsuya Nasukawa, et al.
Transactions of the Japanese Society for Artificial Intelligence
Yehuda Naveli, Michal Rimon, et al.
AAAI/IAAI 2006
Wooseok Choi, Tommaso Stecconi, et al.
Advanced Science