Á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]
Abstract is missing.