A reference monitor for workflow systems with constrained task execution.

Jason Crampton

Browse the full SACMAT paper archive.