Analyzing Separation of Duties Constraints with a Probabilistic Model Checker
-
Author:
Tamara Mendt, Carsten Sinz, Olga Tveretina
-
Source:
Business Information Systems Workshops - BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers. :18-29