Security (Hyper-)properties in Workflow Systems: From Specification to Verification.
['Thomas Bauereiss', 'Dieter Hutter']
Security (Hyper-)properties in Workflow Systems: From Specification to Verification.