Analyzing Separation of Duties Constraints with a Probabilistic Model Checker
Mendt, Tamara, Sinz, Carsten and Tveretina, Olga
(2011)
Analyzing Separation of Duties Constraints with a Probabilistic Model Checker.
Springer Nature.
Item Type | Other |
---|---|
Date Deposited | 14 Nov 2024 10:44 |
Last Modified | 14 Nov 2024 10:44 |