Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security.

Boleslaw Mikolajczak Nirmal Gami Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security. 63-78 2008 3 JCP 1 http://www.academypublisher.com/jcp/vol03/no01/jcp03016378.html db/journals/jcp/jcp3.html#MikolajczakG08