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 |