Analyzing Separation of Duties Constraints with a Probabilistic Model Checker

Tamara Mendt, Carsten Sinz, Olga Tveretina

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
Original languageEnglish
Title of host publicationBusiness Information Systems Workshops
Subtitle of host publicationBIS 2011 International Workshops and BPSC International Conference
PublisherSpringer Nature
Pages18-29
ISBN (Electronic)978-3-642-25370-6
ISBN (Print)978-3-642-25369-0
Publication statusPublished - 2011
EventBIS 2011 Int Workshops and BPSC Int Conf - Poznan, Poland
Duration: 15 Jun 201117 Jun 2011

Conference

ConferenceBIS 2011 Int Workshops and BPSC Int Conf
Country/TerritoryPoland
CityPoznan
Period15/06/1117/06/11

Cite this