Analyzing Separation of Duties Constraints with a Probabilistic Model Checker
-
Autor:
Tamara Mendt, Carsten Sinz, Olga Tveretina
-
Quelle:
In Revised Papers of BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011.