Verification of Workflow Authorization Reasonability. - Ouyangyu Yu; Yushu Liu (Software Engineering Research and Practice, 2005)