Reasoning on the usage control security policies over data artifact business process models

Computer Science and Information Systems

article

Montserrat Estañol¹  Ángel Jesús Varela-Vaca²  María Teresa Gómez-López²  Ernest Teniente¹  Rafael M. Gasca² 

[1] Universitat Politecnica de Catalunya ` Barcelona;Universidad de Sevilla Sevilla

关键词: Business Process;    Security policy;    Usage control model;    Data artifact;    Reasoning;   

DOI  :  10.2298/CSIS210217061E

学科分类：土木及结构工程学

来源: Computer Science and Information Systems

【 摘 要 】

The inclusion of security aspects in organizations is a crucial aspect to ensure compliance with both internal and external regulations. Business process models are a well-known mechanism to describe and automate the activities of the organizations, which should include security policies to ensure the correct performance of the daily activities. Frequently, these security policies involve complex data which cannot be represented using the standard Business Process Model Notation (BPMN). In this paper, we propose the enrichment of the BPMN with a UML class diagram to describe the data model, that is also combined with security policies defined using the UCONABC framework annotated within the business process model. The integration of the business process model, the data model, and the security policies provides a context where more complex reasoning can be applied about the satisfiability of the security policies in accordance with the business process and data models. To do so, we transform the original models, including security policies, into the BAUML framework (an artifact-centric approach to business process modelling). Once this is done, it is possible to ensure that there are no inherent errors in the model (verification) and that it fulfils the business requirements (validation), thus ensuring that the business process and the security policies are compatible and that they are aligned with the business security requirements.

【 授权许可】

CC BY-NC-ND