A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models

Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca. A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. In Witold Abramowicz, Rainer Alt, Bogdan Franczyk, editors, Business Information Systems - 19th International Conference, BIS 2016, Leipzig, Germany, July, 6-8, 2016, Proceedings. Volume 255 of Lecture Notes in Business Information Processing, pages 289-301, Springer, 2016. [doi]

Authors

Ángel Jesús Varela-Vaca

This author has not been identified. Look up 'Ángel Jesús Varela-Vaca' in Google

Diana Borrego

This author has not been identified. Look up 'Diana Borrego' in Google

María Teresa Gómez López

This author has not been identified. Look up 'María Teresa Gómez López' in Google

Rafael M. Gasca

This author has not been identified. Look up 'Rafael M. Gasca' in Google