Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach.

Oana Otilia Captarencu

Browse the full CaiSE paper archive.