Security (Hyper-)properties in Workflow Systems: From Specification to Verification.

Thomas Bauereiss Dieter Hutter

Published in: ESSoS Doctoral Symposium (2014)

Keyphrases

workflow systems
access control
workflow model
business processes
workflow management
workflow specification
protocol specification
temporal constraints
database
business process
process model
widely recognized
image sequences
knowledge management
user defined
workflow execution