Mohsen Rouached Claude Godart Specification and Verification of Authorization Policies for Web Services Composition. 2007 conf/caise/2007fo CAiSE Forum http://www.ceur-ws.org/Vol-247/FORUM_09.pdf db/conf/caise/caisefo2007.html#RouachedG07