Analyzing Separation of Duties Constraints with a Probabilistic Model Checker.

Tamara Mendt Carsten Sinz Olga Tveretina

Published in: BIS (Workshops) (2011)

Keyphrases

model checker
model checking
description language
formal methods
formal verification
temporal logic
bayesian networks
formal specification
constraint satisfaction
data mining
image analysis
specification language
search heuristics
symbolic model checking