Separation of Duties (SoD) is the concept that conflicting activities cannot be assigned to the same individual. A goal of SoD is to separate roles and responsibilities to reduce the risk of fraud or error. We consider the problem of verifying SoD constraints in the presence of uncertain information. We demonsrate the feasibility of implementing probabilistic model checking in a business process design with a case study. Modeling and verification is done with the probabilistic model checker PRISM. © 2011 Springer-Verlag.
CITATION STYLE
Mendt, T., Sinz, C., & Tveretina, O. (2011). Analyzing separation of duties constraints with a probabilistic model checker. In Lecture Notes in Business Information Processing (Vol. 97 LNBIP, pp. 18–29). Springer Verlag. https://doi.org/10.1007/978-3-642-25370-6_3
Mendeley helps you to discover research relevant for your work.