Lehrstuhl für Systeme der Informationsverwaltung

Semantic Support for Security-Annotated Business Process Models