Analyzing Separation of Duties Constraints with a Probabilistic Model Checker

Tamara Mendt, Carsten Sinz, Olga Tveretina

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

Original language	English
Title of host publication	Business Information Systems Workshops
Subtitle of host publication	BIS 2011 International Workshops and BPSC International Conference
Publisher	Springer Nature
Pages	18-29
ISBN (Electronic)	978-3-642-25370-6
ISBN (Print)	978-3-642-25369-0
Publication status	Published - 2011
Event	BIS 2011 Int Workshops and BPSC Int Conf - Poznan, Poland Duration: 15 Jun 2011 → 17 Jun 2011

Conference	BIS 2011 Int Workshops and BPSC Int Conf
Country/Territory	Poland
City	Poznan
Period	15/06/11 → 17/06/11

Cite this

@inproceedings{a14fe91244734926a0baa29fa3490c6f,

title = "Analyzing Separation of Duties Constraints with a Probabilistic Model Checker",

author = "Tamara Mendt and Carsten Sinz and Olga Tveretina",

year = "2011",

language = "English",

isbn = "978-3-642-25369-0",

pages = "18--29",

booktitle = "Business Information Systems Workshops",

publisher = "Springer Nature",

address = "Netherlands",

note = "BIS 2011 Int Workshops and BPSC Int Conf ; Conference date: 15-06-2011 Through 17-06-2011",

}

TY - GEN

T1 - Analyzing Separation of Duties Constraints with a Probabilistic Model Checker

AU - Mendt, Tamara

AU - Sinz, Carsten

AU - Tveretina, Olga

PY - 2011

Y1 - 2011

M3 - Conference contribution

SN - 978-3-642-25369-0

SP - 18

EP - 29

BT - Business Information Systems Workshops

PB - Springer Nature

T2 - BIS 2011 Int Workshops and BPSC Int Conf

Y2 - 15 June 2011 through 17 June 2011

ER -