Mohsen Rouached Claude Godart Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus. 440-446 2006 conf/icsoc/2006 ICSOC http://dx.doi.org/10.1007/11948148_37 db/conf/icsoc/icsoc2006.html#RouachedG06