On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. / Crampton, J.; Huth, M.

Proceedings of the 2011 BPM Workshop on Workflow Security Audit and Certification. 2011.

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

Published
Original languageEnglish
Title of host publicationProceedings of the 2011 BPM Workshop on Workflow Security Audit and Certification
Publication statusPublished - 2011

ID: 2764392