Satisfiability and Resiliency in Workflow Systems.

Qihua Wang, Ninghui Li

Browse the full ESORICS paper archive.