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 Link.
Item Type | Other |
---|---|
Date Deposited | 29 May 2025 09:12 |
Last Modified | 29 May 2025 09:12 |