Analyzing separation of duties constraints with a probabilistic model checker
Tamara Mendt, Carsten Sinz and Olga Tveretina
| Year of publication: |
2011
|
|---|---|
| Authors: | Mendt, Tamara ; Sinz, Carsten ; Tveretina, Olga |
| Published in: |
Business information systems Workshops : BIS 2011 international workshops and BPSC international conference, Poznań, Poland, June 15 - 17, 2011 ; revised papers. - Berlin : Springer, ISBN 978-3-642-25369-0. - 2011, p. 18-29
|
| Subject: | Wahrscheinlichkeitsrechnung | Probability theory | Theorie | Theory |
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz im Buch ; Book section |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10009385379