On the Modeling and Verification of Security-Aware and Process-Aware Information Systems

J. Crampton, M. Huth

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

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

Cite this