Ponencia
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models
Autor/es | Varela Vaca, Ángel Jesús
Borrego Núñez, Diana Gómez López, María Teresa Martínez Gasca, Rafael |
Departamento | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Fecha de publicación | 2016 |
Fecha de depósito | 2022-10-24 |
Publicado en |
|
ISBN/ISSN | 978-3-319-39425-1 1865-1348 |
Resumen | 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. |
Agencias financiadoras | Ministerio de Ciencia Y Tecnología (MCYT). España |
Identificador del proyecto | TIN2015-63502-C3-2-R |
Cita | 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. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
978-3-319-39426-8_23.pdf | 1.319Mb | [PDF] | Ver/ | |