Presentation
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
Author/s | Varela Vaca, Ángel Jesús
![]() ![]() ![]() ![]() ![]() ![]() ![]() Borrego Núñez, Diana ![]() ![]() ![]() ![]() ![]() ![]() ![]() Gómez López, María Teresa ![]() ![]() ![]() ![]() ![]() ![]() ![]() Martínez Gasca, Rafael ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2016 |
Deposit Date | 2022-10-24 |
Published in |
|
ISBN/ISSN | 978-3-319-39425-1 1865-1348 |
Abstract | Artifact-centric initiatives have been used in business
processes whose data management is complex, being the simple activity centric workflow description inadequate. Several artifact-centric initia tives pursue the ... Artifact-centric initiatives have been used in business processes whose data management is complex, being the simple activity centric workflow description inadequate. Several artifact-centric initia tives pursue the verification of the structural and data perspectives of the models, but unfortunately uncovering security aspects. Security has become a crucial priority from the business and customer perspectives, and a complete verification procedure should also fulfill it. We propose an extension of artifact-centric process models based on the Usage Control Model which introduces mechanisms to specify security policies. An auto matic transformation is provided to enable the verification of enriched artifact-centric models using existing verification correctness algorithms. |
Funding agencies | Ministerio de Ciencia Y Tecnología (MCYT). España |
Project ID. | TIN2015-63502-C3-2-R
![]() |
Citation | Varela Vaca, Á.J., Borrego Núñez, D., Gómez López, M.T. y Martínez Gasca, R. (2016). A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. En BIS 2016: 19th International Conference on Business Information Systems (289-301), Leipzig, Germany: Springer. |
Files | Size | Format | View | Description |
---|---|---|---|---|
978-3-319-39426-8_23.pdf | 1.319Mb | ![]() | View/ | |